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

Format: 3.0 (quilt)
Source: coq-bignums
Binary: libcoq-bignums
Architecture: any
Version: 8.17.0-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.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 (>= 0.3), dh-ocaml, libcoq-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
 819798e90f839fb95ff2d694d85617a441dab5fe 1800 coq-bignums_8.17.0-1.debian.tar.xz
Checksums-Sha256:
 fd74ff371dc4fca2136775ed44f120c409842de6f174054de9dfcebaf3c00afe 116104 coq-bignums_8.17.0.orig.tar.gz
 411019ffd53802e3fb363e736b13a282e9c82096bd0990d3c2b3bbc1fe420098 1800 coq-bignums_8.17.0-1.debian.tar.xz
Files:
 98dc0dc6d5cefc5b628cd41b2202f6b9 116104 coq-bignums_8.17.0.orig.tar.gz
 be6667ded8c6691d259745bda1cb446d 1800 coq-bignums_8.17.0-1.debian.tar.xz

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmOq0Z0SHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRFRwP/jAcj+/m13V0Xp/Eyu4THSihDZVdosS0
T2EnLlALa3lljqzsUDxg1DQ8a3qHfdvBXBfW1c1cg6Ox6P1g7JdpssvG02PwpleU
g2rDUZWEginxH0PIste0mtqmm2+nNcbtRLZ3jEkKuTT14zTTswEoH6ExoNsketNW
eTauBfVBg3cFqmr0ZroirjQkZD2bLdCaJ0LLd6MDbQRB+BhIFTQNRg5oEQHTbZSv
zyfoKxT7lpsYcZNBXcheuh2ODemQLR2nPPVs+J0gr70P8DcYSBkU7NO5RbfKIABo
oLKawY7a36ZSTKZrKBpuXZuhToLTFS1ctr8OoTDH6sr2Uep26i66Jfj4DlPGnjxE
hJP69cpVfEeEOkS5ZmEST9TszzlqMd3ztCQ2RjEuD5mrzeDbMSdx1g+EZH2qzIKZ
eficrvDUi5wFUTd2rq7OwsyJ57CRQQz1KlZa/bZrsm9XFxcjhY3MwAu6sJtnJb8j
KJ4onlWrUrYZ3YQgFELhH6Uf70YM7jaTu22bfPW0Pld2flmmQ2EmESyxIKsqCXt1
OkboL5zGDk7iXYHYRTKFhSapXuuuxwFYk/s77G5GmJKq1XN+KZn086bCccrED20C
pzZksbMheFHtcGilCbJETquXTY7xPWXPy/k56t+wLknv82NOefY1EI/pS+w2xEmQ
Tc/7Qu/Rbvqg
=/cna
-----END PGP SIGNATURE-----