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

Format: 3.0 (quilt)
Source: coq-bignums
Binary: libcoq-bignums
Architecture: any
Version: 9.0.0+rocq9.1-2
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.2
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 (>= 9), debhelper-compat (= 13), dh-coq, dh-ocaml, libcoq-core-ocaml-dev, libcoq-stdlib
Package-List:
 libcoq-bignums deb ocaml optional arch=any
Checksums-Sha1:
 e907b8aa9b3dfbb5a0e9fe4eac59177dad8d0202 116934 coq-bignums_9.0.0+rocq9.1.orig.tar.gz
 2b368fcd772e6a053ac4739d49ea445caf16b9e1 2224 coq-bignums_9.0.0+rocq9.1-2.debian.tar.xz
Checksums-Sha256:
 d67a7e90b31f9ca78172ce4ece6df0952a06477bd06cdcff279eb4af89b25378 116934 coq-bignums_9.0.0+rocq9.1.orig.tar.gz
 0a612147851d65bc133fb967a4ad1e4707aaf916716c2eb39e03cc9dcfd76f25 2224 coq-bignums_9.0.0+rocq9.1-2.debian.tar.xz
Files:
 6d23cd1ab5aa29ac9b7f8c6ade47d1fe 116934 coq-bignums_9.0.0+rocq9.1.orig.tar.gz
 e69943de9b2018bdc88dc4874e593a85 2224 coq-bignums_9.0.0+rocq9.1-2.debian.tar.xz

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

iQJNBAEBCgA3FiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmkTcM4ZHGp1bGllbi5w
dXlkdEBsYXBvc3RlLm5ldAAKCRAExTvX/gMFUbu9D/99CCP7KdNgSTYEJoekvyKR
Q/CHFjquryrKnN4QsAg832DgIGnN1mnkmuUjjKONvIGL020A5UpgGSRwnezt9o5u
EoWX0tE5q3TRDR3Zm3RuLVcPqrAAz5me/1kHqXJ32ZP+geFWb9DWWZg28khp/z7M
nyn94ntZWwhcJtorEl3K02IW1fchWpZ4ueM7vtipQ8nmzcGTDRn4S3ZifxU4SgzI
kmy4rNjDj+k2ey4xbls85F21kCO+SrMEItWjxQGEfylM/W4B06NIt9DP3Gmh+SBV
LrTkH8b9iIILa1y1T3xSXS0R9rJ9/RDkgSP7LAX6OjoKpK5CMjAWReOZF69HR9eO
hqqwQdXliNr0/FazGoR3gGvjS0B/EiNy15du3bwga3aMpot6251n+/9fyn6qZq5n
O/MXJVolBYcB1YcdzjsfYRe7MOYbP3SBdtI0K9RedBsGpIoYX1tpbGGjZw1vwmU4
E7aoSm5NaWryBdF96ury6Fj9IVxcr2NtschhoJDww/SoqTA7a6QWiBv1yvVBSMse
Xtu71S/dszfR8abhv8NlrQuQjPR5rB2wM6UsHHqV3/a5JkMMjzOZPljrH7Mkt1f2
pU6dXmsEJ8extP2ammsKSi1HXvMt0OzYox5M41oVXYKjSqbyvnxhwPoql+42IJcH
IvHckz7VHmSftVTUWZC8kg==
=CtsK
-----END PGP SIGNATURE-----