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

Format: 3.0 (quilt)
Source: mathcomp-bigenough
Binary: libcoq-mathcomp-bigenough
Architecture: any
Version: 1.0.2-1build5
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
 22a0618c4566f94ef22df1e82f984d1220f55929 8956 mathcomp-bigenough_1.0.2-1build5.debian.tar.xz
Checksums-Sha256:
 546ca1b1694841499124eb29c2402f363f1c4be73c00946e501c74cf8f7111dc 12221 mathcomp-bigenough_1.0.2.orig.tar.gz
 fd9b935f8cfeb9e040215e53141e13325ebf43771dc564dee18a97d41c018f6f 8956 mathcomp-bigenough_1.0.2-1build5.debian.tar.xz
Files:
 456ac59e00dc59581295fec695d8c7ba 12221 mathcomp-bigenough_1.0.2.orig.tar.gz
 e423b2c9cdc29ce5b332e53bb4cea5ed 8956 mathcomp-bigenough_1.0.2-1build5.debian.tar.xz

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

iQIzBAEBCgAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmi0oDYACgkQ808JdE6f
XdlYpg//VhFDuGNY0VSXuzygGAUAJu7fqF1F+wkotIWWEGZ+rHEobVf5pkgJc90R
jGcZWz2MLzWPYDPkODck6FGqYyXUock5ojWH1t9OEqr1Tl7ls8h5wEpYT7kNWtfD
Dr6eRtI3eQc6nCjY2zC+RlmeGsXWxlFgbCmL66JhStKrrlkJjIZ9AYGBuaz1d+3X
i2SbmqkqQILI3sZUyrSFq/isOw2mw5np6MJHYWLDZTZhie+fF1pciX35vSIzfPaQ
xPobUZd22fXnxvU9DkTYYyEUuSpfTS7nCObtk2fsyhNjuQD3XPB1PCxmy/avHR6P
ovxMwuW2F+hnCV9pi2gwUum64i7k+sY6Tugl2yQ+JcUN/d2fP7otHI00ii/E5Dm4
I8eiDTkpvjjbhquGh0b0EMiIgtI5Qa6w41IkfxuykI7A6922ssPEeS37lQfo9rwc
lCs8EYufk0fMTDt8DuZGEIdoDQme6AFkfGapzPbMrnchb5SsYaTqiZ9OvI7535Kk
pPkK1kNc+DWnslg0KS2MI9rFu115k7eN6fMmUFMTEaRFkzVMweVttZXYgsdE/bvJ
jtSzdhVhZ23UwmqRTGblTDnPRasW6PKLWGXoDArT60jtst0jlgR+NngwRDkbrM2P
H9HC7ObvpGTgMP3zHNl8LaTLNX1l+gn3+tVHmJyLPus92itWKOM=
=q3Ub
-----END PGP SIGNATURE-----