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

Format: 3.0 (quilt)
Source: coq-bignums
Binary: libcoq-bignums
Architecture: any
Version: 9.0.0+rocq9.2-1
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.4
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:
 6f03bd7584cb107b07a5962cd57ada50698243a2 117333 coq-bignums_9.0.0+rocq9.2.orig.tar.gz
 4d1c3080e882a4bc184b238ac40f67393e86ad89 2248 coq-bignums_9.0.0+rocq9.2-1.debian.tar.xz
Checksums-Sha256:
 8a481c68ed79b49cab4906c9929948f8afab4d60fcd586a22d549027521a6025 117333 coq-bignums_9.0.0+rocq9.2.orig.tar.gz
 3ef4ccfcbf9c04a5f54e174e49fed056292a7c52a19b2f4e11c345a7bdfd30b8 2248 coq-bignums_9.0.0+rocq9.2-1.debian.tar.xz
Files:
 6f2f126e7b81df8a6eef1ea81fc58203 117333 coq-bignums_9.0.0+rocq9.2.orig.tar.gz
 0d1f7787ef90f324d653c1c98185e996 2248 coq-bignums_9.0.0+rocq9.2-1.debian.tar.xz

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

iQJNBAEBCgA3FiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmpQua0ZHGp1bGllbi5w
dXlkdEBsYXBvc3RlLm5ldAAKCRAExTvX/gMFUaG8D/4gQV42jWb2oX8z4KGe9ijY
1SlKxyyDBc57l/fsNyjWMbEUXR5KAqdWqZBzOgD7wYslIm6OaKLDa+2pmKfuyXd/
B3Zny1Z1V7xXWRs7UGzgWCIi7VczDddNiH+UrQieiymhMyy+ia7qdXn+bCw5STT2
xQUkrKBdx/tZtriBGV5X+s4b3YzQ/YaFqGgrxpBYfZlbt16mB7eckTSFabGaNS/G
txKY2G4Ofin4CW50cgQ34UOoaJ5JaaN2vgCgTQ15eV3a6z5LTsj2vsDwm7uAPJkk
f5AT809w2PXblaMzS3GZxv2sx1oHHjGaxZMdi6KmtTMsaSOi8T2nGhhAXZdcYpFu
xfBe2toQ9Zwfjz7urwPRCBKvhDejKb8W0bYIYjbs+/yfPYHcF4KcYB8+0IjIRmX2
u67oGTvL4v9sUWGUQhS3/PNbFlOgm0R4Jy9xZ93DAGKN163OFsR07m+EXDNN4gV2
x+lVYGt5Gosc3Wp2EPoX/VYNfxbm4IYeDrJ1xQStmCOWv3x8hcmx2e7EvY2G61EP
N1Kn4PeuQ2c0XPH6wSlPxoesdywKhFriC2zbbla11UHF674O+Se87FOA3qpDZrm+
iuxwKihSvf8fiwAF4hRlnPtCrokbluBerMQFTOJZ9PGqTHsVqeQK4Hc9GYL/dXyI
D9X7oDEcnpI25AbRVQ1hPA==
=hFQd
-----END PGP SIGNATURE-----