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

Format: 3.0 (quilt)
Source: coq-bignums
Binary: libcoq-bignums
Architecture: any
Version: 9.0.0+rocq9.2-3
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, ocaml-native-compilers
Package-List:
 libcoq-bignums deb ocaml optional arch=any
Checksums-Sha1:
 6f03bd7584cb107b07a5962cd57ada50698243a2 117333 coq-bignums_9.0.0+rocq9.2.orig.tar.gz
 a8d6d3b3101b63addde8b3ef6e6e56b2b505b3f2 2316 coq-bignums_9.0.0+rocq9.2-3.debian.tar.xz
Checksums-Sha256:
 8a481c68ed79b49cab4906c9929948f8afab4d60fcd586a22d549027521a6025 117333 coq-bignums_9.0.0+rocq9.2.orig.tar.gz
 2afb99cd5f3e52fd5b83f5a70d7b8bd2ee707889ad889f76f68ff588e1d344ba 2316 coq-bignums_9.0.0+rocq9.2-3.debian.tar.xz
Files:
 6f2f126e7b81df8a6eef1ea81fc58203 117333 coq-bignums_9.0.0+rocq9.2.orig.tar.gz
 4d45b8c3bc52dc7d13fa5b0d40dc5c70 2316 coq-bignums_9.0.0+rocq9.2-3.debian.tar.xz

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

iQJNBAEBCgA3FiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmpo1u0ZHGp1bGllbi5w
dXlkdEBsYXBvc3RlLm5ldAAKCRAExTvX/gMFUZxaD/9GLmyZwwmYmXAoHn124vKQ
s4bWLcRA5CQPkJucBk5zXOc4i2QpiBofK293jwersGzeE+aR08v0OrMUMTF3fW7B
Ul/I8gdheu6EofIDZCh4B9MJTShZTq6m9ujledlzGUFCYbVNMv4FZdHorHPfLPRk
z+f5iuo+v0ymiIlIT//xNwLqNHX7a+w3unnDSg72RM3G6GweCM4RXXonjOyVSBK1
zlZRP2IaUUXaiS+3AvE7QZK/2Wl5Hl3Kn6sctPXahKGAfteZJ+EUyvsg3DU+8Ufh
wq3R/f+F+rUyQTfknU2jI21oPafbd46S27nvgMIxW9AAdxIv3lG9yJ3c5k2s7NZR
Ai5QVjHMHmoC8dzbAVlHYTwPyTXCjoTWgB8TB/wBsWGlpsFA4iucvie8Z7HoMgXG
bm1eVqSBO/s9G9dCWBw3/Fkh4ewYC20KmqRDeqHLe7ku+ak9pBRwFphV07mayiPD
sW5spy9IdNiE4NwOYjeEAnZWrO9oc7S/FiZ+jxBhu1v6T/nGGXWc+MGhyE9Tu8ss
FhtjMHhyzPbOKhcoNDMHm6BACFrsV1bP9fqL8vDIDsczWo2B3rllZn0KiD0wrV83
LLJx+3wvE03aYwc0xxRls8WccCk4HvY/nhUkbJfMH72mwh7MQhIYXwsxulhQT2e8
fHQi4s5FNl60Gfygz2jFjA==
=4KzO
-----END PGP SIGNATURE-----