-----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-3
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.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-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
 4224f702671ead7e36d91a98cdf65f06e79c1b1a 1844 coq-bignums_8.15.0-3.debian.tar.xz
Checksums-Sha256:
 0158a4687fc0387dcdf2ef5ed4460efeabefa2b2a884c7f0d3dfedfedcac309f 115485 coq-bignums_8.15.0.orig.tar.gz
 0ab9add4884ce2cedf6e4eee484445258c69cfca7bd73a6430ed0d6c51982fc8 1844 coq-bignums_8.15.0-3.debian.tar.xz
Files:
 636c88701c3a459351c3973e88282fd5 115485 coq-bignums_8.15.0.orig.tar.gz
 f971acc8efcfd3e5b5a88ae8a113abc1 1844 coq-bignums_8.15.0-3.debian.tar.xz

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmKXZWISHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRutQP/id3Ks6bV3TGoFN6GCSFAhcpDfKF5sX5
3LtL8SYOCYcA5HMOIKE+Z8ed7rLxQ19PBlWJd35lFg3WWxuQWb7PynjdaKP0Txla
mZFjCXdf5dKAZstQyKNVFkZap0/TEyyiWhzZoLQyOKdXs0KeHP4xcPAJdU6ZCiwi
RkzASmja2A8jfGf4iYUgaKq30dNymQZERoQZSmizeUBWWBhZRTvPLOf+cyIKTGVK
QCdvEMvKeWpF32Hv6iqv8azcvhWumdETM09JGmjoOgiZDI154G+S8ZQ1DFC4w9Pb
hj9wuQE1F7A4m+jhXBNZkph1U6j8CVii3ypQ4uS/vpg/p5P9Rx0uzuGk3lcZSroX
mQMF4EnU4jfpUK3MMospSZEjSC4EX4YORULO7+Pkx4RRqvetCnQlpRjLrMmjkCoC
AcWkGODfpkIMNng26nklz4mw2QJBXtO9p87OrWbd2pgNw/6AE8NZo1DA5oSo3/q/
HZ+xBn14L1213TckOb9meP1kIUjoth4U5PMreMaJ4qYxX67NVRd3ZV0/IljcZKys
KXLm8KuBSsksdVAdkUn7EbntAr9c5icXT/dCM3smTri5gKhcZUNK/8/N82RXXQki
VD2MXneSrLuA1iyiL5d3FjkHDQQRqWSQjQLAA6y2qsGV1aE6tcl00KGV30gU6N1W
Ve8xc7zkLJIS
=TFHP
-----END PGP SIGNATURE-----