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

Format: 3.0 (quilt)
Source: coq-bignums
Binary: libcoq-bignums
Architecture: any
Version: 9.0.0+coq8.19-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.6.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, 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:
 2c17c83a2690808497fcb029dcf464ae9cbbcc23 116822 coq-bignums_9.0.0+coq8.19.orig.tar.gz
 83230952b982e0540e663087e589c0e39eec88fa 2068 coq-bignums_9.0.0+coq8.19-1.debian.tar.xz
Checksums-Sha256:
 9ab4a155d301629faf1cc6c10682fb657bfa9df5ce52269316b43109069231db 116822 coq-bignums_9.0.0+coq8.19.orig.tar.gz
 66d78ffb42d2e1a4b7f77ee5ef915c51fbd020431ad4e51b5cfdb896b0bbb2ff 2068 coq-bignums_9.0.0+coq8.19-1.debian.tar.xz
Files:
 73a3b64b854f1a5357ce175bf3852744 116822 coq-bignums_9.0.0+coq8.19.orig.tar.gz
 85a5997f88281f62299b3a74dd8de330 2068 coq-bignums_9.0.0+coq8.19-1.debian.tar.xz

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmYHzfQSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRpV8QAJgTOr0pVyexlHjgKf1IzM7GTpKdh2Zt
Fzpx1rek14a5gIJYLrSohDrra7Jd2v2sJy44DmI6fnWgwBpPuqHndkKyAY+5hQpM
JzshoxgnR19hSxdei6rpvMy/GcoEWh6jC5Sgl9P3S+MYOd0RY6Pnvne/rX2eNM4s
OtuG/aI5uybOLwQConVmjQS6oGJLuZjyMZUaahR/puKZf09nJzlvvyFObTwvmR+W
9Kl+1z0mx+lq0wClaQiTGaqjdy7FEyHr3IHNY/TTgZIpC1N3wzOXwgfJsIyzI5S8
ob5o8PjdWTbVCJl29jZ+d3Fx30M2yqLY3CRWEtoX/tQe2iG908L9ooWleFhhXsGI
MphHgGZ90QcTyGBe54BF+csHOR4HHpC9WpgIltiATSiuGkzHvKJPT6uQL75slN3P
1OcqoGQAnAYU0TbWquU5lZRPFMW9yWMCZKygllhVJYtf3oJfrdT5+c8xM9BI/g7q
ydKHhtMCTSEXfMcvJx8ytmJ2f8aPVUwAEGNUZjg8zjDCc1qRvNxO2HRdhlsAF8r3
iowdk31Zu7YniMt64n3+GKpV9m++BnBQxpnOuSinYRvmiKSwg1dCS0ycXgziEpkR
nXh3TxhEMVWu8NcYxcBl2wo4xEkijyXOB3YgCqIvJzTz2nTbfk3EIzTw8xGkC+x4
weM1cuNO4AGH
=j2L5
-----END PGP SIGNATURE-----