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

Format: 3.0 (quilt)
Source: mathcomp-bigenough
Binary: libcoq-mathcomp-bigenough
Architecture: any
Version: 1.0.1-12
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
 346459fa07ce0ca7fa821e1c74ad332311fd3187 8684 mathcomp-bigenough_1.0.1-12.debian.tar.xz
Checksums-Sha256:
 a8ed105271ca7422f87f580ba1c5bb39de9f147ad966e65e02d09010cb3c1e36 12248 mathcomp-bigenough_1.0.1.orig.tar.gz
 12665a26e93b4053cac52427555b73352af39074831151e79a608c923d9276cc 8684 mathcomp-bigenough_1.0.1-12.debian.tar.xz
Files:
 6643a658ea6c6fb32b788a730bedee55 12248 mathcomp-bigenough_1.0.1.orig.tar.gz
 2cea5b4a698cd07409734f68f106aea0 8684 mathcomp-bigenough_1.0.1-12.debian.tar.xz

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmWFZB8SHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRVGQP/39Aqe6mPS+0pq0ghVHs7lQbTV9Rs6h9
YkTdJpIw6nyVdZtxkZgil+JKCC4USQ6SO4ISfOvbiwLoyd30UGdrXPPMMvz4NlxA
JkZt0mlqezUy4JTPQ7tklL8wsekhq3NgwRgCEN036kuLdaew4h4WT8od1OIGuM2h
GeVX5EhWjdi0OxG4Ko+VkuoXzTayGc5kjBhKzmgGWWeCWw6H2/dT/RKrepy00VHT
ee9d8u3PrFwbLaIyxpjyThRZUKxeQt4ZUi/qWWJuoJxXs15bvNQqHb/6+H4MbAoB
l5fvugqqQqJnvDVrdBd0rczD9K/MQ4wFHY9b5kjJfdhcWtSQ5xBmTjGtQ+SuOK8/
gjACeqxicwquS+8m5/TB753d37ntEhbBorfTvO9AVSXXUsq1yaHTD9KllxYVVx4l
lCXiHqpZkehhw+dNI2MnGIx/+nC76i+DZcAM15hJqBfdfp3bl7hYqwRv3Oo4o3ED
31ErLxjQso01Xpi8RZMzfeiV5xxdZSHtCk+HUMtUyz046OVgN1AVNXWNQE4vkpXR
+2XQd07jh8119sOUh2QHFAGSupbIVY95X8DE1MmYgvjSjlEKTZ5rs2WauiFg5G0I
3L91FBzx4ZzN88iPC+tag1Xrd+a6OU8g0zIfR8Tr0sPk0yg1E/NNJcOtHqiGIbO3
ctm2dHQFAqrk
=NYRU
-----END PGP SIGNATURE-----