-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256

Format: 3.0 (quilt)
Source: mathcomp-bigenough
Binary: libcoq-mathcomp-bigenough
Architecture: any
Version: 1.0.1-13build1
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Uploaders: Julien Puydt <jpuydt@debian.org>
Homepage: https://github.com/math-comp/bigenough
Standards-Version: 4.6.2
Vcs-Browser: https://salsa.debian.org/ocaml-team/mathcomp-bigenough
Vcs-Git: https://salsa.debian.org/ocaml-team/mathcomp-bigenough.git
Testsuite: autopkgtest
Testsuite-Triggers: coq
Build-Depends: coq, debhelper-compat (= 13), dh-coq, dh-ocaml, libcoq-mathcomp-ssreflect
Package-List:
 libcoq-mathcomp-bigenough deb ocaml optional arch=any
Checksums-Sha1:
 fb23236e373c0cd475e7868940b5ab3a30c4f482 12248 mathcomp-bigenough_1.0.1.orig.tar.gz
 c5669cd2a397759678bd99b34d7f353888b929c1 8784 mathcomp-bigenough_1.0.1-13build1.debian.tar.xz
Checksums-Sha256:
 a8ed105271ca7422f87f580ba1c5bb39de9f147ad966e65e02d09010cb3c1e36 12248 mathcomp-bigenough_1.0.1.orig.tar.gz
 1500f349ab21def82f768bdf0c3121226b5de6788cd76bab89124075936e1ff7 8784 mathcomp-bigenough_1.0.1-13build1.debian.tar.xz
Files:
 6643a658ea6c6fb32b788a730bedee55 12248 mathcomp-bigenough_1.0.1.orig.tar.gz
 5e3ab2f70e53f65b21ac7332cea7a771 8784 mathcomp-bigenough_1.0.1-13build1.debian.tar.xz

-----BEGIN PGP SIGNATURE-----

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmZCWlcACgkQ808JdE6f
Xdk0mhAAgyFd3tUjJy8Hsz/A0DM54+JGdWJuHJ6+7lnx7sJkZA4aAz72rm8IAcFm
wj77xyMRYflBhxLhuol1LSwLK99cOs4Dj5ArLaC6Yiiq+qUqv8LB4is3qmuakCPV
6ZCPFrM6Z+b/byzyPP8QUPegAT0qWmd84sNwi0d3uhLwt+v+JjxxA/2/nt5BLeaa
3GstcMXD6Sb/pMQ0c/DHCDa2mY9TdxFEJVj0G3zqBkWIZht/3GTFnk34T3UpiP1+
SlJndrlNAPafdlRS1qDv09tLCYyqPJX+To7GgmlyuOp+nKKC8x9EOvTNIETv6f8o
hAOb+s7vAp2MONpTRpLDyoY1U8WVq7Z7AnyoQ0gLnuIcyvvckzI+798B5ZTlz6eE
Txc3Tacjmz5lzBlTZ9J0GN0SbcbWM65DCRMa3o6vPRAYa1Av9dXuqI2HtBswhAw3
6pEK1vr2VQqWgesvqwTPsaC3iWKVsQCEkr+rIOmrGkWtOIuj3CVVIZKS9tWwq//Q
dN+0u4QwEeFBBfn/brvPUCskmRlXwrV3Drmhgp+9nQVkvo4fTWjAWUCIby1j5h6E
kDvLNmzI82dgCbHo2duQ69pnC6VOXmJo0VlPjE8JlR7SHWbXcefIBI2dRymbHUkq
vVuwyQ5gGh0LPYTAFDKs6QRim1Ca6NSIQssgYZ+TfOh1nnIVNJA=
=or/R
-----END PGP SIGNATURE-----