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

Format: 3.0 (quilt)
Source: mathcomp-bigenough
Binary: libcoq-mathcomp-bigenough
Architecture: any
Version: 1.0.1-4
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.0
Vcs-Browser: https://salsa.debian.org/ocaml-team/mathcomp-bigenough
Vcs-Git: https://salsa.debian.org/ocaml-team/mathcomp-bigenough.git
Build-Depends: coq, debhelper-compat (= 13), 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
 995e29521c806065f5a24a18e620421e30ab8252 8496 mathcomp-bigenough_1.0.1-4.debian.tar.xz
Checksums-Sha256:
 a8ed105271ca7422f87f580ba1c5bb39de9f147ad966e65e02d09010cb3c1e36 12248 mathcomp-bigenough_1.0.1.orig.tar.gz
 7ac689e7219a277ec85c91e21c1bcc09b928173584a7aff682d1e071e950c698 8496 mathcomp-bigenough_1.0.1-4.debian.tar.xz
Files:
 6643a658ea6c6fb32b788a730bedee55 12248 mathcomp-bigenough_1.0.1.orig.tar.gz
 ea4b7a63ad85f54d0bfb2637e73d5bc2 8496 mathcomp-bigenough_1.0.1-4.debian.tar.xz

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmJ1HrQSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRXsMQAJL4n0BWTESGX421ZWGeylPP9HsQilxQ
BIC+/8GH1Fq6FEBCeGmv3L4ks5br1arTCbXuRmNLlRIf3vk84V7tEDe0nOQ7ywbD
B5y1O0R+VLNqM2RrUOE1RfskH+dJjDXtPg/HQi2Bm3rRH04XGa21UVlABoHbPey0
yKRLXsrD1UGP0IAdztTZwE3HzSr9pX5aCc41sqialXDXCbi5eIpWhK4LLduhcg4z
KFinioeRCQm5TMLcPoxLq83YAln842Y72TVDPBKifmVxswGFldACOiZInChT13Lq
ozaBa7ZcM3IsDAUs5JCNzM4FkINsAvSjssoP/GzLnaFAxqG14cIgrdRGTBA6uIb+
90m9Gnb+Jx98AKY83I+1c8MJ2VWtK6arh+Dlh3WbwulE5XQ6weKW+PCTp3hIonhA
7Gu419p+NQrNeRrKNx/NwqcnOt4w1deo/qffTGzXGq3HNqelVLI/sTKpgDL4amGC
h7b5iZUF2D+R+K0bi9tjrHefOCahC9EGuAOp6+iJOQ0ncdc+gap7Bjm5ciS9XmZW
Sr2yeuq9KhKok2CrGWnqhD4fx8AKQ8yHlam5F2EmzFRgpGXgwZiirc8AD3A9EwkZ
Wytf2QgFp42HH5p7JwHVLK3Dd53bAbpgDa2H6usM8PjnG9yB4KZxQNnhDoA9RSN8
5NOrVEdsk166
=c7IH
-----END PGP SIGNATURE-----