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

Format: 3.0 (quilt)
Source: mathcomp-bigenough
Binary: libcoq-mathcomp-bigenough
Architecture: any
Version: 1.0.1-13build2
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:
 fb23236e373c0cd475e7868940b5ab3a30c4f482 12248 mathcomp-bigenough_1.0.1.orig.tar.gz
 2b0da485845e7d6a06add4808276167070c89346 8788 mathcomp-bigenough_1.0.1-13build2.debian.tar.xz
Checksums-Sha256:
 a8ed105271ca7422f87f580ba1c5bb39de9f147ad966e65e02d09010cb3c1e36 12248 mathcomp-bigenough_1.0.1.orig.tar.gz
 33f7683bb9300ac46112090fae1e3dbba2da12da31f67e1857aa45121681c56b 8788 mathcomp-bigenough_1.0.1-13build2.debian.tar.xz
Files:
 6643a658ea6c6fb32b788a730bedee55 12248 mathcomp-bigenough_1.0.1.orig.tar.gz
 5e16dc22a93b5e6dce021f68d3ac0be8 8788 mathcomp-bigenough_1.0.1-13build2.debian.tar.xz

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmZMeIMACgkQ808JdE6f
XdkQ4Q//YByC9z0LtVJmDh8mdU4dUvZvpeSY40TQkffHLKhehlxoRq7x7+jZ3vVW
zbGvrDJqjDcrnp0+TVoyqhA7Kd2XuUCtlt60kor7KLOyPMy0IHjypo0cCbZ873EL
DJ+p/HoxxSIICR8pGvsdQORAe4lzm4Hq5VUVH6u1sHrttApik5SIKR4C16ZC4JpW
gdrZiQNi34cS23bXgVXn9klSbugC+IO/K0golep9yssFu7YYUKOALz3zrv3y96qP
277+9GQ0QzLAVreRiJMj1UPlmUgay0OcfkXmS+fALAkOTXHGTmjspsGGvDrhynrv
Ix5YMp7lHmQTQgwXqR9nvgQbVLEFM309cLtsK3WVbMRXzAQGHAtkUCVlqlvVznb+
B50Jwwd7UGOJERL+QeFDsAZLDRYcjcn+RJUs9mVwzEf2dA5OmE5zcx527fbredXx
1B7H5lHmvjxx+9CKyDssxViplQjFh8b6qhhgobNlEYEkEkW2micpV6HW19s3eDyl
CazenoXqBXPcILLScWYWvTv9xTmzZVRhPxeijzQ7opIQ0VJAFHfiwol67X+4z3Mr
Z/nf/311nqjXOHzSBoLw//aeUbwprX2xty6kBtc4Zpf8xaJ3a/iySdaXGIKdPtQs
KHhtzAGjUDRjgxv5nEf8hIXQ2IBxoisJuXI2FADV3Wo5k6ZOtW8=
=T0cJ
-----END PGP SIGNATURE-----