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

Format: 3.0 (quilt)
Source: mathcomp-bigenough
Binary: libcoq-mathcomp-bigenough
Architecture: any
Version: 1.0.2-1build3
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
 0b31022457156a80fe8e8105b2b9d5f13391dffa 8928 mathcomp-bigenough_1.0.2-1build3.debian.tar.xz
Checksums-Sha256:
 546ca1b1694841499124eb29c2402f363f1c4be73c00946e501c74cf8f7111dc 12221 mathcomp-bigenough_1.0.2.orig.tar.gz
 c75a4ce043f6b12f014f1dcc97ad7b92308381dfacd60b7a7244bbc6efdef048 8928 mathcomp-bigenough_1.0.2-1build3.debian.tar.xz
Files:
 456ac59e00dc59581295fec695d8c7ba 12221 mathcomp-bigenough_1.0.2.orig.tar.gz
 638fb46f32e569de65dea413eeabcad5 8928 mathcomp-bigenough_1.0.2-1build3.debian.tar.xz

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

iQIzBAEBCgAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmg2w9MACgkQ808JdE6f
Xdkjkw/+MtZZpWnvGi/3wwcosNkiYW4JWpP7IU5kRBStbxIz8ZpLKp3RCLdXugNr
eDrBwNOiiV/6ZZVxX1BoJ0LZgJCWl1A+oS1c8rg4A57CFlmsaEOSK1xxyAqYHHKX
+2skP0lFaTIjqw1BA8PPGu9+LHNXfD9m3n3i6f+C6CgdXjhE8W+f91t9vMr3W5n8
w0zfLpPgsWaMAz/ehxVr21dk+C1VREvzYNNXoqkYVftu9P6u0kovt4jhLom7xRCz
2Xyoyn3/AhMLlD0V1IN4tP6uV32TIGtBHbjjXh3Z87N+W4kX31o2uP9im77k9O50
RhdhYdIwzuGMn2eMAp6EYzgjsmdl9FPILvGtgTGY2UEib/1SSmnCeliIcNFk2yX8
xcsnf/lwDsMlQEI501ouMyTwpHTR6qVSxZSjxwKU5LpE11CLy2V9OmA9C/I/DA5S
6rxMOZytpdK7vHhZLfrgWS62GbqNytPB0BOUJTyPwbEm1paYWrBqgWzV+m94eB9l
2EhpFfx4bryjeSRINuNF/icN/tKqtKkE4T2ufgfEWaqx86iHqxNl9+YTkEmux39z
+TpNF82hA4CFNvqVonYI8eZA+2M/U231NR0OJ7NRCmcQ7TYjp+DhZsEvQICKmLod
6u5vMA6HX+xDyDTFj5gvVNP+E3gKZG4ToZMrqD6f1fEQL2GFZrg=
=xpar
-----END PGP SIGNATURE-----