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

Format: 3.0 (quilt)
Source: mathcomp-bigenough
Binary: libcoq-mathcomp-bigenough
Architecture: any
Version: 1.0.3-1
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.7.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:
 935efaf47f1a78d12315a92c9a79c1a527c3a6c8 12229 mathcomp-bigenough_1.0.3.orig.tar.gz
 32d70c1e75687b599ca025fc4bb294acbe76069b 8864 mathcomp-bigenough_1.0.3-1.debian.tar.xz
Checksums-Sha256:
 796689896f53add548e3d98d09d5cef2a471308fbc0b89437533098f831fdc12 12229 mathcomp-bigenough_1.0.3.orig.tar.gz
 f62f65b671aaebca16a8120727abc6b3263ab05757ca453e28fd5703ec5462fb 8864 mathcomp-bigenough_1.0.3-1.debian.tar.xz
Files:
 ef88e59cf9d12bd6a3280f0c7828fbbd 12229 mathcomp-bigenough_1.0.3.orig.tar.gz
 a63b8ba3fc4578e5cdac74960cb7e4d4 8864 mathcomp-bigenough_1.0.3-1.debian.tar.xz

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

iQJNBAEBCgA3FiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmkDD6cZHGp1bGllbi5w
dXlkdEBsYXBvc3RlLm5ldAAKCRAExTvX/gMFUUurD/47HcHa1ySqUGXLBRIiEJQf
wlxLpFAGcSzunMdVhnKYYd5gSvAiBaUhhul4sjjUOiYXUsSdYqpAXuHzK25t958r
px3LOI4dfbwfYhMlQ03RpJuocTvU/o6nRH0oIKiJCI2NXpZYwkUBjt7vO7HOLatP
oTD/B5APXgLhu3A4Cz+mQQOvhT4H82FY7Lp7Sz6qOMThQbJGLjUxo6yUSs7I85qJ
gqfsHT9OFnTlkQRZ/pmx216U2aqGLvabM8+5tldj6c8HYsSCi9wxyXwfC7eO5+hO
svt12q9EosMcTKQv8NwTnVKO2qKrHl4wgzvsH7tCOOs7zUuieHU3h+p6b1i4+2cx
pk3CVBPzNlsO3iXSR3W+u5pGGq5W2BnOi1vaK+GNMQHhybagCcfKMh+KQ+yg996d
1gQdd6UbRH4luGWAs0H0YmmNOe6gqXkAx7HECUGY7WW5+Wr+sa30TQE5l3X6XqbU
ZNei/r9/FEDFbO5SZ/LC2rLqe0Biz/+4piLmvJDOl0tsJ43cKqEKrTE04hGyiQ24
EVogIkOMWCWlyAEZiA/46afuRlLmC8j8W89/CyNSW0ecBZzcGCRnaX1K0e0wFGYK
P1J0PjhW8il7Rs99CAna+xZ8zTLTmulsVL/jLNNmxmegzzP6IVTnBDk8qyCD9y4W
rIvhJEBfgdSPt0Z/oWyDtQ==
=5RXE
-----END PGP SIGNATURE-----