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

Format: 3.0 (quilt)
Source: mathcomp-bigenough
Binary: libcoq-mathcomp-bigenough
Architecture: any
Version: 1.0.1-12build4
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
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:
 fb23236e373c0cd475e7868940b5ab3a30c4f482 12248 mathcomp-bigenough_1.0.1.orig.tar.gz
 1dc940458612925cc7f336ac414febbdbd21d32e 8916 mathcomp-bigenough_1.0.1-12build4.debian.tar.xz
Checksums-Sha256:
 a8ed105271ca7422f87f580ba1c5bb39de9f147ad966e65e02d09010cb3c1e36 12248 mathcomp-bigenough_1.0.1.orig.tar.gz
 a7e3299becc486e0eac31221e1905855c07d7f095ed683a017affb2fcc0bca79 8916 mathcomp-bigenough_1.0.1-12build4.debian.tar.xz
Files:
 6643a658ea6c6fb32b788a730bedee55 12248 mathcomp-bigenough_1.0.1.orig.tar.gz
 a5d9002f1942b22d1a6559e4e851233d 8916 mathcomp-bigenough_1.0.1-12build4.debian.tar.xz
Original-Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>

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

iQJOBAEBCgA4FiEErEg/aN5yj0PyIC/KVo0w8yGyEz0FAmYJwd0aHHN0ZXZlLmxh
bmdhc2VrQHVidW50dS5jb20ACgkQVo0w8yGyEz0RBBAAoWtqTLmiYKSBrwvh4GKJ
J7Z0qRDgeSnZufqkAuIUDoTAN2mMD0RlB9wkKlzwEdoUXCV7LeHeylmT+6bHZ4mV
KBN5QoDqS7jGfsm+d40snTnJ4OjhV11r5P7K1zuyRMkq5B+7HLeYNQzi+KkrC/1w
KXlIF4i8+0sdbCNBQAE4t3lKxLvR4xJkw/Qfg8cejCWn4dN+JAeEaXNJMsGqSk8A
sDb52yL7NV6Q81O0krYerWrZ0sMLsDyYvi97u2ZiyEnlVxH6zCr+TdBCgvCQzc1j
QIghe0bFe5RalFJZlBKg3KeMacymFkgRpU4JFLLcQOsh0zJGHMz14cCUmJcvB7aw
30ZuKHEnz6yLrz5qyQPYlnVUuO/rF634NYt6JGidCiG5v+L/uDrjO3B5T81HLsgq
r83UVsY0DCBk44YWufZyUzv3FOmKV66EP8L1GXFWnX9pbLCFxVP+yNVA4lxS6CVB
sG4E3sSIkRuTI2UZgbUQCgQ4YSygkwUuIS4LzvICXxibbBeHa12bS1j0aHzyCIR+
JIeurYy0wX0BWx2pWrfdOMiC7AxRyjSIaiibt0OUiCP/trOWDjZwS9Hja+alH/NX
KNqyVefoizwDRylbVu36JO8xSizNrPcEts1i/nFE6UcGIGLncYtCBFtAScdA6YsO
yKzmlJ2XvdbzOPO21eRBWrY=
=w7Rz
-----END PGP SIGNATURE-----