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

Format: 3.0 (quilt)
Source: mathcomp-bigenough
Binary: libcoq-mathcomp-bigenough
Architecture: any
Version: 1.0.4-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.4
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 (>= 9), debhelper-compat (= 13), dh-coq, dh-ocaml, libcoq-mathcomp-ssreflect
Package-List:
 libcoq-mathcomp-bigenough deb ocaml optional arch=any
Checksums-Sha1:
 de445845fe60bf0512c1bd6a08b71ce29dc7c013 12393 mathcomp-bigenough_1.0.4.orig.tar.gz
 cd484f30a36754090e23a0dc97691d1d9a82bddf 8912 mathcomp-bigenough_1.0.4-1.debian.tar.xz
Checksums-Sha256:
 cb14fd2d5200f3758b580262245bcf694a47ec7265ed692a616ce911d16392c2 12393 mathcomp-bigenough_1.0.4.orig.tar.gz
 811d499238d84b4c3460909590e054bd73cbd9527e0f60c193ca4cbef5ce708a 8912 mathcomp-bigenough_1.0.4-1.debian.tar.xz
Files:
 122ea1456196afbf6fe0b396e059172a 12393 mathcomp-bigenough_1.0.4.orig.tar.gz
 694db352cece8c00e29aa33cb1dcebaf 8912 mathcomp-bigenough_1.0.4-1.debian.tar.xz

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

iQJNBAEBCgA3FiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmpefhMZHGp1bGllbi5w
dXlkdEBsYXBvc3RlLm5ldAAKCRAExTvX/gMFUeLXD/0avAkyRbW4/ZyDXstvUNKB
o3E/ZtBpGtLCycQJrX9Cv5Vg1emFMHkHErMaz7M/SO/5i0Nq4Z1xVM2aKInC971k
E9auXG7VnXJKhhtEnO1c0fP75CYr0yO87+mOm8gR6mQQ1QJU4vU6plQgYcHRm+9P
k6CPIsDXxoxTt41xD+UUrccKB+mJFllmwdC0lqBg8N4wtVIWGJZXkq03y3OUKLf7
dJ82FYPpM0omURw/kc0hrQveuvqGjxcUybUQyCa425M8yHkDjycJFgRFn++AVnvl
c/1bpwXGspUaYyksc8SEXThivpjpytE3bJlj9GouOcHte8lVogJoFWmexJ3rBz8K
aOxNmRGoAez8ih6lQsWjj/8gK/q4aSNR6Tl4DuP/Pd2EL8AFh8BBz4Lm+DV64EVG
okD2eQH6MSbe7Qo4+YEf88zhW4g+CYE5xYUvLzPHyn+FT4hf4kJ5WzhUF6JNX4Sc
ztj/dYlOVRMpbITSQrYU62KFFenO+klHElGs8a/WOQBmuLdT8uknO7BGbyk+Q7kE
/pGtD4omo+eNHZ51bv1MVnzEsy2Hxiis0kZp5DkMLXlCzrUzdr5XBPb44nzS/KHW
3Q91CZlJ9b2gpehLGCSTxUV3m4fAJM9rw1j/stDYICKQUssYG+0IuF3xEDr0ps7H
ggH0G8j2Ua7LQwhpwNoNcw==
=giAF
-----END PGP SIGNATURE-----