-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256

Format: 3.0 (quilt)
Source: mathcomp-bigenough
Binary: libcoq-mathcomp-bigenough
Architecture: any
Version: 1.0.1-8build1
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
Testsuite: autopkgtest
Testsuite-Triggers: coq
Build-Depends: coq, debhelper-compat (= 13), dh-coq, 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
 46485d6648408b88ee174f243151b2e2ac9a66ae 8692 mathcomp-bigenough_1.0.1-8build1.debian.tar.xz
Checksums-Sha256:
 a8ed105271ca7422f87f580ba1c5bb39de9f147ad966e65e02d09010cb3c1e36 12248 mathcomp-bigenough_1.0.1.orig.tar.gz
 8e6eb217b3043a59f2418567983925f414750175a87b574910dc15a423c8cf80 8692 mathcomp-bigenough_1.0.1-8build1.debian.tar.xz
Files:
 6643a658ea6c6fb32b788a730bedee55 12248 mathcomp-bigenough_1.0.1.orig.tar.gz
 59821e8be08338a27f6aa91649aec30c 8692 mathcomp-bigenough_1.0.1-8build1.debian.tar.xz

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

iQIzBAEBCAAdFiEEiiBE+E9xaoW3f/djEd9ClMyjmJMFAmLV39cACgkQEd9ClMyj
mJP0QRAAlZPnCpRHE383/cZc91Gvm5wNlFN5UnwGnMFIMyFrzkCfoKk3pf4s3g8L
7GfPyxW7oI9J7ZeabajghxtM94CITRlij+8kJ6P3rQSUFH0Mieg47KihbXtegT8+
zNisTVM5LHRw/omRMf9m2BkXnJLAy75mA1R2Ra4aTGzD1dRUa9kyvFOO5Bdt3vT8
AscyxdsF/k8XoXFCGV6Ui1p10CXQ/MebsVn4A91EOPnryaGt0AJEdSzSBvOBb9Is
oOqcDZJIefRUccv8m5CtvH9DSb/EPD6tCKxV04B/0i5ylzu/U2Fud4QVt9AyhN3h
g3XiAq0ZYNVu5GSnyzmFJ4FAMe/bERTDrdRdDo+k2Ib2EALOyjSwLAwTpOjP+6Uy
55lv8mT/uFb9tvDlgoVh3OtpRb5f/U1KukzQ3oiXC8pSVFO6EztveJyt1haJTYjZ
p5X9ry33xISAfcjRiyGg2MKEm4K01DRy2z9LitT8vo8VV4Z8p5OR2bbU8U2LjsQC
lpe1dveqH61uhUP+dQiHO+RqxnNL6pNWFar2ceoa7nZXwGRZ/R7U5I/73+PCiRzk
Ulajdufi1NQMmg0xN8TxFWjYxTbp/Eys6bFljxNBUTPQuB1Et3ONgwowYk0RuEtX
tTeGPQcHQygkxu3fPYT9NibT+C/rhAsAhlxry717glAR97TvmeM=
=t9PO
-----END PGP SIGNATURE-----