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

Format: 3.0 (quilt)
Source: mathcomp-bigenough
Binary: libcoq-mathcomp-bigenough
Architecture: any
Version: 1.0.1-8build4
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.1
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
 5ab6011950525908bc73dc715699d212f7be4aee 8792 mathcomp-bigenough_1.0.1-8build4.debian.tar.xz
Checksums-Sha256:
 a8ed105271ca7422f87f580ba1c5bb39de9f147ad966e65e02d09010cb3c1e36 12248 mathcomp-bigenough_1.0.1.orig.tar.gz
 98944758590abda4380913a9f4dfae88ba64c49959f75e0433b697f49409ebbf 8792 mathcomp-bigenough_1.0.1-8build4.debian.tar.xz
Files:
 6643a658ea6c6fb32b788a730bedee55 12248 mathcomp-bigenough_1.0.1.orig.tar.gz
 0d49847e9dde2f6bb8fa4ff5a2309e6f 8792 mathcomp-bigenough_1.0.1-8build4.debian.tar.xz

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmPSPoIACgkQ808JdE6f
XdmBBA/+POQvgx6suiSDOtlbFXRtroHr3ORYzu3SfXXHA/FS2RR5XzRQH3iLAKHp
8UaDYCztWNW4KXpEqkaq6tVjzbfgDSu+mrvneZTzhKEFuZdwXssrPDunpbL0xkRO
Wqgsn/Xc8OjS6q8g2ITKlOqKQTkIL70pbKNLt7tNtDYqryuYjAwwzuas98s6hR5j
52zpINxqCXLK/12IkelcuVA259X3EYyQlCBCDgFMSwCfUmhDUNpVWzD3a/b+lHP/
vNgM+ttl7JpMYqpxhru3Wif7xNiE+Uvc0OYw6VcSjN5u1lGPGOZuLtpAtakCbMWS
BZJG0YZWAZWfcgCGGD9qaCwRPeDBO+Suj7hqAtTBbs3v6BwQ8TAq+ph9ITcOXP6g
jSnp8xAa9ptCSZbKu+5AfVoxY9Tb3+GV702CgUZNdFbncgIexFguXM3hDSI3nncj
huPR/IoR2iOGJwsGqzYuw15Ynl9Jn4OwZfvOu82tpq6+AT9WXM5KKVtOIgYmRivT
JWSoKhFZCsE/TbsDgZtGav0cFV6W9nVzr2ffrLEFiOzHTIe5sU3XpXa0j6qtQnm6
+6Q8p+N1ON/ESc7JJZhTbQDdyro3O+RKgOxvCeFXzW804vcN+g7yafdxvVQooawf
K1Ko042jOeKBoklzm1enWqdu0oUJy0PecmgLYDfcTqknfAC0YJg=
=L0yx
-----END PGP SIGNATURE-----