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

Format: 3.0 (quilt)
Source: mathcomp-bigenough
Binary: libcoq-mathcomp-bigenough
Architecture: any
Version: 1.0.1-9
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, ocaml-dune
Package-List:
 libcoq-mathcomp-bigenough deb ocaml optional arch=any
Checksums-Sha1:
 fb23236e373c0cd475e7868940b5ab3a30c4f482 12248 mathcomp-bigenough_1.0.1.orig.tar.gz
 33a6f336eb329fe1bf13f7f69273ff6f0d125bb0 8648 mathcomp-bigenough_1.0.1-9.debian.tar.xz
Checksums-Sha256:
 a8ed105271ca7422f87f580ba1c5bb39de9f147ad966e65e02d09010cb3c1e36 12248 mathcomp-bigenough_1.0.1.orig.tar.gz
 417b40a54050fadffc0661044a0b1e2f2057b6ac50347d27282246d41cafd765 8648 mathcomp-bigenough_1.0.1-9.debian.tar.xz
Files:
 6643a658ea6c6fb32b788a730bedee55 12248 mathcomp-bigenough_1.0.1.orig.tar.gz
 d6d3dc322a13b1d0f5c278a29e850a1b 8648 mathcomp-bigenough_1.0.1-9.debian.tar.xz

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmSJxN8SHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRevsP/jLNcjheqERzNU5lTt7BE0/YddZEfjjV
XAy8LGHg9QYk7JaqIOWNMm8SuBzC3UBqI3sVKUvNCO+H0eMRFzfqv89Muf5a6er5
Vw/+39XEoKaSkOism4UF0fF/4vf9vVIwO2NApdmRLO8z8DKCUCeaZ4s/9ULYCjdT
ABuigkD7o7s5vOXzjWOgCAuL2pTAoBhwI+4GZduGAJjUGGnDTucYUPS8e/SBGj+A
EBWfWmmjCJ9bpX8/E09dkXfECpqpdJiZJlNjpyOL1vPb5N/jWbgi8bMTT7UzU/LP
dYxtApfWUlHod94ABaAI29RsxyQmGAShlnkyA8a0C6iCAJ/tQrVGA9cRi/GHn8GE
/IHzJm18ATU3PZTjNLXuSJsZ4HSKIasCGeevZz2TD65UJEONedHG0NVJ5zRH6/6/
L4Ll/zvGWq8D3NAuu54k/0p4NHk4B5zEvl05vfxGxJ4fFm3tMsh2GNvZw6mrmXJU
zFtXMoNJC+lMRQR69/ZVBeGdx04L4S2U7vn6F6y7+CvUmYIHOC6KBqgXVzfSQ0em
ftBbbfpITRij0SaRl9qcj9xlLlaX86LrCOaT9eeb4SoKBOmb02gVfjYT/A/WLQu1
xB2Sz3Bszt31f/na5H7NJi1Rfo+6aGRxIe7HNthcXkEcFkFnUHFg3o3xRtqCYxcD
IFQGfWF0WAg/
=LM/Q
-----END PGP SIGNATURE-----