-----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-1
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Uploaders: Julien Puydt <jpuydt@debian.org>
Homepage: https://github.com/ejgallego/coq-bignums
Standards-Version: 4.6.0
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-ocaml, libcoq-ocaml-dev
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
 4665199d418b838b159a3459d63d389ea81b7b1d 1756 coq-bignums_8.15.0-1.debian.tar.xz
Checksums-Sha256:
 0158a4687fc0387dcdf2ef5ed4460efeabefa2b2a884c7f0d3dfedfedcac309f 115485 coq-bignums_8.15.0.orig.tar.gz
 68ea9d2d774b77beafc498c2a18f610604c753dbe3b4adc9db41566486b9fef1 1756 coq-bignums_8.15.0-1.debian.tar.xz
Files:
 636c88701c3a459351c3973e88282fd5 115485 coq-bignums_8.15.0.orig.tar.gz
 213467d57c155671bfda590fddb3fa82 1756 coq-bignums_8.15.0-1.debian.tar.xz

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmJz3oUSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRM60P/1NQFdldEeT59+gUvtQ2X3/zy4GRgjtd
k7ZqDmLgBiNJOiNKJZLbwLM6924ssh6Q5YjOhMcj/ZaTfb6NymomyET8P3jhFDWv
VQLTcR3F0/CaTzZUGPObMMrWIbDAfhzLMKIroHR88bfASLPBZ53vOrdo4Ed17xwE
OtBl/DBV5+s56RZwLjg2Z2G45BqX1RN9eqd3e93nWXAbrdn621qrcVL8ZBtDig0o
u1RveB+QbqMltmvdGYE2sBGuPgrSVmHSg8nzswb+9mO0Xwwz/tQtDuvv0VAMEETu
O0uzgXao215F89Fk5oIFzevzxMnyrXC/39ZpDLAzBOMaY1Y6yLZ0J3J83wq0Y0lX
AODjUwQA3q0kKJhj0Y4u2qDZj5LtjCjHt/SciPAw5iKS35m0wnzDRh0LuucZMoz7
M2bKfDdsHMTAib4dtaAxcMaVWNUP7aw1zHwxKFaQNo6Hh2erVFfgoeZjnQPaFyCq
Jxityp/aWRW5+eIk/Op4ZxaiNfO2t3jfrTbeCA/GRquqKSIVZOOKFNZ9Alby9M2z
c6J5+vyrrLrSIZi9sYlwqI/8YdKCEf704J4s7ll66VvaCYXrY5twXoau25wdEDri
+31fjB3vV98AFLE7XOfDgEPzHQ5B2uDVnjh4OUY838sFaqaU4eGlMZmX782h/UyW
fTcyV249ZFey
=bGGf
-----END PGP SIGNATURE-----