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

Format: 3.0 (quilt)
Source: coq-bignums
Binary: libcoq-bignums
Architecture: any
Version: 8.17.0-3
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:
 bf8aec1b920f2abeae4824057e31f513f28fd074 116104 coq-bignums_8.17.0.orig.tar.gz
 bbed4723efe7f75e386156bd96f0b6b665de8950 1936 coq-bignums_8.17.0-3.debian.tar.xz
Checksums-Sha256:
 fd74ff371dc4fca2136775ed44f120c409842de6f174054de9dfcebaf3c00afe 116104 coq-bignums_8.17.0.orig.tar.gz
 3ef775d1813c8c0ddc349cdac1932e8c59f898b670ea8dafe64887c2d85f01fc 1936 coq-bignums_8.17.0-3.debian.tar.xz
Files:
 98dc0dc6d5cefc5b628cd41b2202f6b9 116104 coq-bignums_8.17.0.orig.tar.gz
 544050872eb75e07d282e320418f262a 1936 coq-bignums_8.17.0-3.debian.tar.xz

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

iQJFBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmSHVbQSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVR1Z0P8wZuhurZX4cqkL4Bq5Ty27ngxeJYv7l4
KlztJhcwmkUlDyiu7ZhmGu/SxHMIiuivKtTyKIHwIkR897RfLPM1NjOvzOW37Eai
aYF7eXhL5iCseKu1wqaFZbc9oQXNc+j+KQe5QgHTOlBydrVfpJJdyfVZowSyp0KN
1sTZ4UIwd56U6DQkKCO3Z5xiMOjzf1lvixvEWzI9fAIOEFjC8AXgyipWFMH3r2mB
LZOLOV4WKae2DgoS9MSDSEkAdotFkR5l5p9FHrbUlRLnUy8O7LqGFpmYi5paqrrM
iKkRe4SCegTrSynoQ2BhEbqY6NElRUwCNcWsIMmzmp3wZdwzVmMm0U0XoVY6BlSl
WpDXskir+xMfarlCOfd4mkH/RXMtnsZP0AmyvRzF3ZQEVQSQUE17Q8DPIWFnhFtS
d6l0X0Zg+6154FlenTZxKQ1MQLQjrZgnTNidWkMf07vjaElVi0kjqGozIcQLmxP6
qxZ5dH9QvcwxVtCSwndLW6hW78JKdhaeKolOlb+vAD/kZFODIzfHE91LKnegGzut
o5ghPSgIIad6x07wjlNVVVm7wL/PxuHfchqq6xskQgocdigTwkHykVOCmMj4oyox
TXCqlKeUYIAGjW4vxvpvtUM1sYM7WQd5ic206NFDvaiwx3srrzCtSDpV2d4VpxdN
NDXVAOeV3AY=
=yVF6
-----END PGP SIGNATURE-----