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

Format: 3.0 (quilt)
Source: mathcomp-bigenough
Binary: libcoq-mathcomp-bigenough
Architecture: any
Version: 1.0.2-1build9
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
 2a2e40fa0148efdde3ef2a92d840ba51cf4a5437 9016 mathcomp-bigenough_1.0.2-1build9.debian.tar.xz
Checksums-Sha256:
 546ca1b1694841499124eb29c2402f363f1c4be73c00946e501c74cf8f7111dc 12221 mathcomp-bigenough_1.0.2.orig.tar.gz
 71f443b572286e2b22d35f61061f4e686ed57578908aa579f4752f2606947822 9016 mathcomp-bigenough_1.0.2-1build9.debian.tar.xz
Files:
 456ac59e00dc59581295fec695d8c7ba 12221 mathcomp-bigenough_1.0.2.orig.tar.gz
 5bff8d27c7eca9f877dee7ac8bdb8da4 9016 mathcomp-bigenough_1.0.2-1build9.debian.tar.xz

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

iQIzBAEBCgAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAml5MWgACgkQ808JdE6f
XdmRDQ//a0Dan107WXErDoa+2uF8uxTIZhKGwIdYqAg2mdCKnGcMzkcUjv982x4L
/DZ7HEYOGd0JwrziDMk63unbknofHjKOV63Qt6l5vTZpRW3hFCPDXWjNzXgfR+Tb
aU+YSt2pGp7r2b3xBscy5gfozIuyJfIr6gFiuB7Qmb3WkRAMutq00lXZ3fjSCKeE
Buh2oGJYecCQuWxNgd2GQ4RLL/EEIrvBhR32wEU62amIM8w8aFh+9Y3qzp9TewGg
+MSE5exg0mDQUlOveLvhafB316aWSmiFDq141X9MRyszt7WnCTkhJa6wqFfQUg2w
s2IcQxQcTOgTsBlLXZ1hluQMK5OvDWcsqnZSthJ8vXNFN24V+R+B06t2P2JG8t8G
wfVdIUB7qc7opWtwOmDnwiJwbpxP09UZopIbSIZDiFR+koi1ULSK0oZ+zfT5fKja
a7tpePOrQTgkQt2aegmJ4VNiDLHyrnhUDi6y6fXiYui2uAcN8DVpVovMYX9Ew9B9
hKbxqLkbVCfXLdpFO1g94IJmfm6l2Y8St4lZLVyzR0XIzLMtnO22XHs0nRfsDCPg
AFrvxmfMzl8DzN82so5WFaMXKMMlU/siC3DdFtmwwjgKI0meZL9B4LuR2aBRkfdW
DSREZbGcbsQbTfG0WSdDAK317gbyIqnvpe8UsyhTfB8ia+EAyHk=
=hrEc
-----END PGP SIGNATURE-----