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

Format: 3.0 (quilt)
Source: coq-bignums
Binary: libcoq-bignums
Architecture: any
Version: 8.17.0-2
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-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
 062de44deb7dcfd9eb57a1c08c5c471c7c119b7b 1856 coq-bignums_8.17.0-2.debian.tar.xz
Checksums-Sha256:
 fd74ff371dc4fca2136775ed44f120c409842de6f174054de9dfcebaf3c00afe 116104 coq-bignums_8.17.0.orig.tar.gz
 ec1e411194ea7eb7811fcfe07790c409e476c4a0527507e0bf550d94497016af 1856 coq-bignums_8.17.0-2.debian.tar.xz
Files:
 98dc0dc6d5cefc5b628cd41b2202f6b9 116104 coq-bignums_8.17.0.orig.tar.gz
 b3e1b9c7a5859d837e7e1b3ae9bc6a30 1856 coq-bignums_8.17.0-2.debian.tar.xz

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmPQzWYSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRZa4QAJHm1vGMGaaeEns2qo0CVuNnbYT5z5ln
NrWvh/YY4q41rq39V2pNj5K1X4tGWJIT3scCgie43kzG7N4RNys26J2YIkC2mBAN
/2B55rINeTgpJdnzVnFzNkgi+6cykUicyk30GrMr+b/nQWHaAy0pdHxBY6ikxkvW
hIgzUQ6YCkJD3QxeKYkM6ehPcCmBPf4qZWEirArj6P3BtGS6aPW56ZVisnzwc9nN
ez+HHloNuxrfBTjGJmf+xeTNwGncpkAb6726dF+mb/7dEQokEoiYfUkicIU+iujU
G1ewFn8EX1EVadzZ4kWGQaFRgW7GiAUgTfoDGXVZYANCcrP6P8m6hKcIp4VRCiMh
kAMB8mMn/Pg0PEr95D8XDiAYIo6BafbGaCIUUaQsHkPENhmDkN/mXBE9y4V1XA9G
9s2TsQh28C/XS9Wuop22MZqDhL2XEfbtWnDNAvZybYqhTcRCyXV9znBwr+YlA5II
W2ro3d4FQM0DXaagRS2dUK7+N8Gl5qpL6aO3wB1zY4iTzBzShASASEEzOCw3ylFu
PH1WiwLC0qp2TjZUdUeYDjN5O7mIvbjSVeJMJx+59hwE0AjCY2Zc+YVNvfd02aFr
SieFNV1iky6L+bRIapdX/9tiY46L/V6Z9G+gnXCF8cbMoLSZPFRVjzBxBFDxsSZB
T5Cq2wXHHsCw
=EWaU
-----END PGP SIGNATURE-----