-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512

Format: 3.0 (quilt)
Source: mathcomp-bigenough
Binary: libcoq-mathcomp-bigenough
Architecture: any
Version: 1.0.2-1build11
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:
 9586ab1861867744a84b20bc8356540b699ab096 12221 mathcomp-bigenough_1.0.2.orig.tar.gz
 2f2fc4e29e6efde817f8367cad9943775f87c853 9100 mathcomp-bigenough_1.0.2-1build11.debian.tar.xz
Checksums-Sha256:
 546ca1b1694841499124eb29c2402f363f1c4be73c00946e501c74cf8f7111dc 12221 mathcomp-bigenough_1.0.2.orig.tar.gz
 8a26c6cbaa545d4bf20492e8e5aa06f0e0d6139dda99b0e9daaa8ec1079a9586 9100 mathcomp-bigenough_1.0.2-1build11.debian.tar.xz
Files:
 456ac59e00dc59581295fec695d8c7ba 12221 mathcomp-bigenough_1.0.2.orig.tar.gz
 c8c596ae96273b812bea4b7b0639fb1a 9100 mathcomp-bigenough_1.0.2-1build11.debian.tar.xz

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

iQIzBAEBCgAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmpXXLIACgkQ808JdE6f
XdmkQg/+LgoNBSPysq9PWf/J8EQu6DLVP2acoPbnUY+X/li9k/t4CwfaCrTMBFFs
yEixwe13fteXcvu4c8qT1FCC6Ga7DfNtHOlbrm6CBme5QXCzXnrVTQrnTxXcOKx+
l8Ua+VITwis0VK2WrxGQvCPsnoCerEfdb3Sg2pPNhf0S9mufOXfiPpP8+1st2CTO
TbzrJwKY9+r+ODy+af/pWxu5SBRbp/KTi4ntt6ATsrEZ1Dc804qPEgxWHl3eBLVT
bv1vjhBuXPKIa3TST5vPWa3/VUO/CwQLVWnOQlq8f1390wVbVjwoQAH7iTjQXi75
Nk60IbkAw4268LoPpH6mX0GV9+LJliJ5rF0Si6pO5acMcFfaJIzTRwD+RYzm1Zm9
r7dYbh2a8L2jossEHMOCpxbkA+DdnIPBHIvnTzGNdcUXr0Ja6uv97wPSDPD0rU5/
RDmm6GpXGP8xGh4StwJML9JEBnuddx4ONx0n6xlrO5Bg4PXWnP1tO1Bn0S8ejzVW
qyd7Noxp70HXnC5tDrIWhvnixUhNlcZ0mEPPvtRSCARZG6K7+KbS1BMQs9JYev0H
Ove4PeH5dfWk8QZi9xsbIbTYd9nd37i8Avgt3YUl6dj/uYujjQBciqrpnEwyG1pa
mHLC/v16qoKy+Od92Qbxp/cByplq1Le3mbSMVF155emCmDEmRuo=
=m+4n
-----END PGP SIGNATURE-----