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

Format: 3.0 (quilt)
Source: coq-bignums
Binary: libcoq-bignums
Architecture: any
Version: 9.0.0+coq8.20-1build5
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Uploaders: Julien Puydt <jpuydt@debian.org>
Homepage: https://github.com/coq-community/bignums
Standards-Version: 4.7.0
Vcs-Browser: https://salsa.debian.org/ocaml-team/coq-bignums
Vcs-Git: https://salsa.debian.org/ocaml-team/coq-bignums.git
Testsuite: autopkgtest
Testsuite-Triggers: coq
Build-Depends: coq, debhelper-compat (= 13), dh-coq (>= 0.3), dh-ocaml, libcoq-core-ocaml-dev, libcoq-stdlib
Package-List:
 libcoq-bignums deb ocaml optional arch=any
Checksums-Sha1:
 29a2655888580b58d46372ffb1bd01e8ea89d2f5 117267 coq-bignums_9.0.0+coq8.20.orig.tar.gz
 2ffa5d6a0d37f7a524d799d12cb39662461d6efd 2296 coq-bignums_9.0.0+coq8.20-1build5.debian.tar.xz
Checksums-Sha256:
 55febc3fb528209d070206b780811b49498151912f2086568c5e53a66393e2a6 117267 coq-bignums_9.0.0+coq8.20.orig.tar.gz
 dc0394c443efc12c2d794b4ca4c26d3a01bd968852e8330d3da000838b3a3483 2296 coq-bignums_9.0.0+coq8.20-1build5.debian.tar.xz
Files:
 8af0a3df71fd3cd83e4391741519fc19 117267 coq-bignums_9.0.0+coq8.20.orig.tar.gz
 f26d929eb3a25842c24a6352383dee23 2296 coq-bignums_9.0.0+coq8.20-1build5.debian.tar.xz

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

iQIzBAEBCgAdFiEETQvhLw5HdtiqzpaW5mx3Wuv+bH0FAmc+YxoACgkQ5mx3Wuv+
bH3vrRAAt9nQDFV+bY8X9FNVrJEQYokMR4xlIWwh/7K3B/Y6KfeKCNztNNzMFJSB
B7vE+Ju2I73D+Uzf7CyelBNEmHoSL6qvqRIYfg9U14dBQ56wiLJ5K3bNDrEdmYUq
i6Yo+avN5WMGb2foHwIG50HwRXmpxYYmS/4r+fj7BLB8iKCmTRAOTxp/A5ramHXT
8VEq3hoka3LUuI3xaLYExVRSLXFLRrDYGe0gLv2gdJP2udgYcDSHcABBADY8tzeQ
+eyFRoXXuMn4kVojL80okJXO1fSr4fyWwxRBvbzR32mc4zHVkaeJmeERB1LPbBnH
EOXREL+G/FfhFhVxr+JpEXbi8Pd3nXg4HdZe7q4GhLCjEs4h0X03e2G7/49b1ftM
ypq7NavK4gVHZmpCD/Tam1wy7jYeot0MfGFGwpsENVXnEBn81CrwVOueMWQjQugg
Owuogag26JW4uPRqWSWwvGp+nC1rMQlwdH8ETn5XeheXAbO8KZygYoubcxZumICS
9TOr435z+Xa19Q1t1Mcw/gY4debjQ9m/nd3QOMH89BuudYIavRVKuxucmvyfCdo2
zouIdfd1OOKqj+VhIBMGDyH4PFAFEhNCtAPYjukboVkGbEvmhES5g9PoIx5gS2mw
RmK4VZydYRffxA6t/q2Q69tEGgRurJ1jeydY7mqaZkT6/e1CLw0=
=sv8t
-----END PGP SIGNATURE-----