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

Format: 3.0 (quilt)
Source: coq-bignums
Binary: libcoq-bignums, libcoq-bignums-ocaml, libcoq-bignums-ocaml-dev
Architecture: any
Version: 8.15.0-5
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.6.1
Vcs-Browser: https://salsa.debian.org/ocaml-team/coq-bignums
Vcs-Git: https://salsa.debian.org/ocaml-team/coq-bignums.git
Testsuite: autopkgtest
Build-Depends: coq, debhelper-compat (= 13), dh-coq, dh-ocaml, libcoq-ocaml-dev, libcoq-stdlib
Package-List:
 libcoq-bignums deb ocaml optional arch=any
 libcoq-bignums-ocaml deb ocaml optional arch=any
 libcoq-bignums-ocaml-dev deb ocaml optional arch=any
Checksums-Sha1:
 0379854bb55a0bd3291d7687ba77f349cf577188 115485 coq-bignums_8.15.0.orig.tar.gz
 30d0994518060416d34e0d22d954658f8815a5be 1876 coq-bignums_8.15.0-5.debian.tar.xz
Checksums-Sha256:
 0158a4687fc0387dcdf2ef5ed4460efeabefa2b2a884c7f0d3dfedfedcac309f 115485 coq-bignums_8.15.0.orig.tar.gz
 4ba2de3e433a6bbb801ee29a951cd9d0dd9df97018d21c0f8a8bb8318ab5d421 1876 coq-bignums_8.15.0-5.debian.tar.xz
Files:
 636c88701c3a459351c3973e88282fd5 115485 coq-bignums_8.15.0.orig.tar.gz
 75882a9b809ad7164f3d9f08561e3dd1 1876 coq-bignums_8.15.0-5.debian.tar.xz

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmKl0q4SHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVR9VEP/jZntInzmYg+07pIx2shvSxiModUvfQu
GNQVH3M+/DL/ZQIV72208/M9Srj+M2eo/0vc/AJZEUWXDU09u2Y4UwAobROPELOK
FRI/wKJYWoPuem5PSwXymfjItRzHXA6uXiIG17wBjFGwSZFr5+QiZkk39JyWxBeW
Q4lXHFd6w5Wwval46rfpytkH7ITL2ap9g6GL8mr4m4k77DrW3PlN+qB82Ow8wUE3
6aIukooAgel+FTX21iAPYkgCtMutlTOE9JlWw0dK7MDJ7RK3C2NbGneYvBBOrbD0
wOZ31mdss92QbNj0RpjrfZRnShnei+bYV6Tou9+MTphsHJZfjPaQuoZWBAMx2ZD0
rRojAZgAjsh2tubXopD8CEJNg+R+HriDYcGUopwVytiVwWUQG4paYabrgd5rPPi2
1kXAO5yJlk8w2KdrSbP67cR8g7yu1F7eaXrzIebV6yO0yp9ezW7JWryrRVi9aIXH
JKN8YF6G1PbjcJYQHTuV6bvELPDwuX7DR7cqwCJrt9TAu1pZJRc2tyFcTnBc5ctb
fhcdWL/Kuh0yUg0dyxR6zE95C0WN4jYzHTdSvw8DwF3k8b24rKjvQUOQQ6Nb5eVK
lLJeMP/+TWeT38iOojrLZ0a/fCaTy10Gssai9YM5osrToiDJXToknAeuI4V6fUx/
LxgJzpuUJSBV
=a6AR
-----END PGP SIGNATURE-----