-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256

Format: 3.0 (quilt)
Source: coq-bignums
Binary: libcoq-bignums
Architecture: any
Version: 8.17.0-3build1
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
 0b146deda33043374d423fdd0b4dec771305a3e5 2004 coq-bignums_8.17.0-3build1.debian.tar.xz
Checksums-Sha256:
 fd74ff371dc4fca2136775ed44f120c409842de6f174054de9dfcebaf3c00afe 116104 coq-bignums_8.17.0.orig.tar.gz
 786d36dce34716a00cee12469a5f1f66d404e781eade7dc5f9154ae3131f1d9b 2004 coq-bignums_8.17.0-3build1.debian.tar.xz
Files:
 98dc0dc6d5cefc5b628cd41b2202f6b9 116104 coq-bignums_8.17.0.orig.tar.gz
 35cc2431e87074546bf108d516bcda48 2004 coq-bignums_8.17.0-3build1.debian.tar.xz

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmTAqtEACgkQ808JdE6f
XdkmWxAAiqIS3hUAg0q9u7MpzExWmEEsWGbjWKDGYaIiQhXkjXK/hCB+lTNAMpaj
YluPUQFdv8mUp4diu7nx4QoLqVuSc0cbwXpwJfAyzApzJ6nwn2H49pVSBxdSD1eE
ADucpNrJosx7Y7R0FkXwBKzROxtszIXk868jL8dNHQfBWIfs932tMoE6/5NNNeJ2
3NMGWMCc3B630DMZWw0O/3UotLG7I/2yxxUYXT3pwk3vEb1M7uomRl+X2+Sgb1CQ
Cz9Z7Ey9eVL6mNFGi/G+Z9e/toFIFhGGV6UKmt9revHewZFxzugAluZhg+Kh9SOe
/S98tGzDw7UBeHmVNSZoJZnQUhtUSQFYRjGZfJr62uE0bkgLU4EkTv4Wo1x0oV4o
8iz9hqXbjVAuyGW+IIoq/Soj85WRfAnACpBlrUko+2QE3Ygi2BMP7P/Mhh/PPJ7G
n9e+xhljd7rEgxJHIHGS5wiX8GnyB2WoaUjQYbfNM01KJ5amLoOG0j1fI4pnR+0R
FF33/5lWiKdQUbcjoWPeLZ69G1mkVFEDFf3IEb2BUvG//nPl38qGJ1lpXteIkjf6
VMGw6OrTC0edQ2VtsxnfB+m+IVXMzH92BsYWCaNwCNwqrsKK93msQnszuaWF+sFQ
pXGK3FWwNjW9Ca7r9+P3kZQi54a1+1miGTyYHWQLekV2ALqCFsA=
=RjBh
-----END PGP SIGNATURE-----