-----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-6
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
Testsuite-Triggers: coq
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
 a68391d5b72e485e112886a167450b9e8e4362cb 1912 coq-bignums_8.15.0-6.debian.tar.xz
Checksums-Sha256:
 0158a4687fc0387dcdf2ef5ed4460efeabefa2b2a884c7f0d3dfedfedcac309f 115485 coq-bignums_8.15.0.orig.tar.gz
 b66f61a53980680a23dc1a15f3d5b7813aaae8cd4a1921d745d6427c3550ff7c 1912 coq-bignums_8.15.0-6.debian.tar.xz
Files:
 636c88701c3a459351c3973e88282fd5 115485 coq-bignums_8.15.0.orig.tar.gz
 e938a0d8a5f2b6d3df24688ba6ff1545 1912 coq-bignums_8.15.0-6.debian.tar.xz

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmKoIHcSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVR0CAP/jZBJsKsRM+SejBxAUtFyaVB5VmzLEeB
KIRQuLV5Oxy7tpG4WwGmHlXEpd8KzC1sFAf1blpnJIr6pcisuPTQHLJwC0+GmAGi
Q9L1trnZdTYGZ+zbYQi9OiLvaRwKm4/eRWb8BDlmJXlRGNfCAM69UhaOLIDT31jj
Xs8pyS/zfzv7XY/lZxqLY8L89R70aLJrleTJDrzLRjibsMDPiAo9CvpUR+JxlSSW
Nl6SghxbFs5ppykDkuYa0lFYSrZ4nNLPN8ova7taeZEoN5/EF6jj/edIH+Z9FiEo
I7uQtQ6oxvjIoEsuc6wl7MIb0xtWajoJjo5Kl8O22jg7Ol3Yt0B10xcsSM/jZFTU
M2Y8aa01PBCN2CN/91nO9weQKpoQV1cU/B0KsJhZbrS/XrIZdwhDUntPW1m4YQg8
SdrXmJzaSS//dIJGe220lJE2Cjx/M0v+/13pWdUtnsEmJKUjHuBqK2Ywxe594oR6
MUBa2W5VAbiGZEBlAAdjxaBTJyY02lYbPjC/cxOTs/nI4QI8Gg99btYiBlBTyZ0w
ZD5wh/JMhnuwukjjhlDQhGXUCm1jSnJcObVLzXBWUEV4wxCLeHmaUQj9zZ4IHcFM
jIrkaxCb4oIuIJm5MUBuT8wmnzdz6n0P/bG4K25QKAyhqB/PAPfIkXd2GARPW+b2
jFokcrUvDmJu
=FIXj
-----END PGP SIGNATURE-----