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

Format: 3.0 (quilt)
Source: mathcomp-bigenough
Binary: libcoq-mathcomp-bigenough
Architecture: any
Version: 1.0.2-1build2
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
 23b21039b70c77fc14ed94c01a1271297686df14 8908 mathcomp-bigenough_1.0.2-1build2.debian.tar.xz
Checksums-Sha256:
 546ca1b1694841499124eb29c2402f363f1c4be73c00946e501c74cf8f7111dc 12221 mathcomp-bigenough_1.0.2.orig.tar.gz
 573a1b978569bf309eed353ce22c48da47a2c8ba242ca316cc71fa9a49029090 8908 mathcomp-bigenough_1.0.2-1build2.debian.tar.xz
Files:
 456ac59e00dc59581295fec695d8c7ba 12221 mathcomp-bigenough_1.0.2.orig.tar.gz
 385d6f7ce4905c05de0a856808f12a2d 8908 mathcomp-bigenough_1.0.2-1build2.debian.tar.xz

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

iQIzBAEBCgAdFiEETQvhLw5HdtiqzpaW5mx3Wuv+bH0FAmgclKsACgkQ5mx3Wuv+
bH0wMxAAzxHYiHWSXfUKKG1NvGI7kdMITq2NBOns1P4QWn+5DEITiblUCBJuOuvN
lGP2YEx/6BlkSxWw4AyGoMmBttZKCD039ygO3Xe7EOy2QysQu34HP9qC2+/Y2uXX
wiy8pAux1QxTQxRQqJAeaR+svtGbIjCB9wzO6mgFFwP2zZJbHA85GrfW9ky+UXGb
5GYfRp0M4COcasSA92Wo0/mCQOKgdS+KaA/tGex99i7X3VyljiYwv5+S4uXQMwL/
66y5QFsscED9HjVIcpSbME0vxf3yIohm100gNA4aYasDbT2yfHKYkuWd15UFGbJ3
ACGRoB03TYVvvfTPyIElDeA4UrKxX9CY4KxLWGnHiTTlybeZlI+/tu7iUl25ofY1
Q1AGafzXa8nYqP5npThN2hZYBclzN5U7pq4myv1Jm9KMRF7pfhDyclAgz2oonE2D
+1ceAJH17DZCf0G1kqty14lTTHorgikxuNNdCdASCWrqDCPoIMJd5UBi9gvuRev/
kP48zzzf529BnStrK3BbjgcKWBLyxRzkLQ1SDYMnYxYldKdt9YQDwxB3pZUXIQ2W
BDcs7biTLEyKEXqF1sljJY0am4B8dVu7NRPtqw9vG+qJdAKYldFBsY3uH2iIuJMD
95T/m1aYHmS4zWkDUgZ+u9n4FRgfDlX9eiHx1uvurGzu7NUN9zw=
=ARNr
-----END PGP SIGNATURE-----