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

Format: 3.0 (quilt)
Source: mathcomp-bigenough
Binary: libcoq-mathcomp-bigenough
Architecture: any
Version: 1.0.4-2
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
 5f386422195fd98c22b315756162cdda29172fc9 8936 mathcomp-bigenough_1.0.4-2.debian.tar.xz
Checksums-Sha256:
 cb14fd2d5200f3758b580262245bcf694a47ec7265ed692a616ce911d16392c2 12393 mathcomp-bigenough_1.0.4.orig.tar.gz
 6b1a1a0f1da931ecc051c6399933f9a9787d333924267ac2c4ed421468c4835b 8936 mathcomp-bigenough_1.0.4-2.debian.tar.xz
Files:
 122ea1456196afbf6fe0b396e059172a 12393 mathcomp-bigenough_1.0.4.orig.tar.gz
 0a9ec484f96d741bcda57fe3f3fd6f27 8936 mathcomp-bigenough_1.0.4-2.debian.tar.xz

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

iQJNBAEBCgA3FiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmppnwMZHGp1bGllbi5w
dXlkdEBsYXBvc3RlLm5ldAAKCRAExTvX/gMFUSa6D/wP6T5W38twrXM7MbHWMM6D
bTYLc3G/7BG5uxnfPBoznr2RE89Q2lEXhn6RracIMmBlpu7qBy/SHn/BGhcU2X10
0Brh2ibgk5J5op0mO1jnGFpUeMg1aftX9ho05Kuqv4lYujL7YmEyjgqS6x6RJPNu
o+ULT6NqpARtNLcZ8DzP8krPnrNkNhTkEdsHhr0Bfn6Z2pJjTekkwsomy6QiQQ2W
I9lu/+9CGOBEUIg4OLRj6yCEQ/4hgo6XMaFRke0NVPW/fvr2ert/9yllVFqUTap3
BYDeN/xbd85LDX9UOkvxAs/WcykYpuARKZ13XVywAq0r8hUZG9BRO+q0tkvQXjj3
2tcwgH4Svb1+GbfiDEblzCSOeYT+N+yDaBZ9p5SGzcOg+ue8W3J0xPuih2bApoiO
2hvzTrOcVzLh3YvtiRYzcDb7+NM9H/Vgo/lY3zwbc5a0IadWLUdpoXxBTclUkASG
a45a5CzkEXBAe/xSunkuuKTDC0PAnFaQlGxOkfuTH2//11aJN5EnvihxQEy9IGx4
kXqainK8LIIHZWjp3omg0pHOq372IrO+rs4bg/eMfwJlUqB6JP4ue05NnmjWqfZO
xkIV2qUKLaSdjZK6sHX+30BtSOTfz4duzIaL8TIn9j/2gQHoJNTMl/q13lAQiL/W
X/W2DzxJgIgeqSp4pDjT2A==
=aI0v
-----END PGP SIGNATURE-----