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

Format: 3.0 (quilt)
Source: mathcomp-bigenough
Binary: libcoq-mathcomp-bigenough
Architecture: any
Version: 1.0.1-6
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.1
Vcs-Browser: https://salsa.debian.org/ocaml-team/mathcomp-bigenough
Vcs-Git: https://salsa.debian.org/ocaml-team/mathcomp-bigenough.git
Build-Depends: coq, debhelper-compat (= 13), dh-ocaml, libcoq-mathcomp-ssreflect, ocaml-dune
Package-List:
 libcoq-mathcomp-bigenough deb ocaml optional arch=any
Checksums-Sha1:
 fb23236e373c0cd475e7868940b5ab3a30c4f482 12248 mathcomp-bigenough_1.0.1.orig.tar.gz
 d8f2742f2b5a49b972854c6cdaf1459ada6d54bf 8556 mathcomp-bigenough_1.0.1-6.debian.tar.xz
Checksums-Sha256:
 a8ed105271ca7422f87f580ba1c5bb39de9f147ad966e65e02d09010cb3c1e36 12248 mathcomp-bigenough_1.0.1.orig.tar.gz
 4e1a0d7d1c8289dc19f74b5d18ead4be5c43bea3773d422154f6f34337d78bce 8556 mathcomp-bigenough_1.0.1-6.debian.tar.xz
Files:
 6643a658ea6c6fb32b788a730bedee55 12248 mathcomp-bigenough_1.0.1.orig.tar.gz
 e2d8bff3b82b17484ee514b12262448b 8556 mathcomp-bigenough_1.0.1-6.debian.tar.xz

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmKYRu4SHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVR+BoP/2Tw7ir0+qQ9rDUWSXm7wWbaNrPLbxEr
eQcSa6a9bR74yxqPtHIXiRh0TZqfpgSUCzjZMK6tb2okJcrkDa/CR+Rgl6+KHmkd
L9pzf3vOpK5YqOPvfaz1c0K2/0DznaURF0gxhlL5lvrTaw1bR5CGa+k3kYWEeoed
9n1mOD1d852QfZBfxoHP6BfZw6GZgq7SYt0Owuy0UkfwqSbNWX7uy83K/g0FyEDU
rD3uk1CAxiILBoQocr1mfUnikW3RlGkdwl48vZg6sFLAhSgerufNAIyrPvc3GaLy
eIqjZks0nZ6LiH0RhVmlNZbnOd/u+4DS2ApDorIW22hjw6kPP7Bb7/zVSqgOSWik
MVYp0nloUISWE8hoYHK03jNAXZAXKynXHO9I9eUP5ozn3hyBmFsNsmCeN3mLqIR4
CcGdVj0JfoiFT1024OP6SVDo6oEw3tdtMkf0bg37COn8kdlYgouFKn8XW/j428Zk
xwxxA+l7vvTGWitu4z08bK31S9LSsPHBSm8rsagf/uxEIVn3PUFw80Ul8h3lVVRx
pmK692QOU3mSfIGFJucohzG1aTjYaY2RqaCOX1i3Nlb63Sqt+FXAj0E18rN4sJCe
5Ld0Z7o+2Yv1b6CQ+zlbY4//9WfYsFJI+P/9KpfzM8JQh++xfdFepxmypBbst1Tc
tFYYY1tYUAYE
=P14Z
-----END PGP SIGNATURE-----