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

Format: 3.0 (quilt)
Source: coq-bignums
Binary: libcoq-bignums
Architecture: any
Version: 8.17.0-2build1
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
 2cd3c98ff141f3530eb484071facdecd5e5e65fd 1924 coq-bignums_8.17.0-2build1.debian.tar.xz
Checksums-Sha256:
 fd74ff371dc4fca2136775ed44f120c409842de6f174054de9dfcebaf3c00afe 116104 coq-bignums_8.17.0.orig.tar.gz
 22e14c906fae2b35667df67a739dd86bce72eba0595f321bcd9448e06fb92aec 1924 coq-bignums_8.17.0-2build1.debian.tar.xz
Files:
 98dc0dc6d5cefc5b628cd41b2202f6b9 116104 coq-bignums_8.17.0.orig.tar.gz
 85f257fa988b90caf15e55f702befc3a 1924 coq-bignums_8.17.0-2build1.debian.tar.xz

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmPSeVsACgkQ808JdE6f
XdnfjQ/9HTh8/XH7WE1hYXR1E7adYac764I1pIeYUu2zm57kTX06dcYGYJoIuDQ6
svGERIv6aBVGP5Ub0HBPphKBYUsODwX0AuLNN6ll6nTOQh6FODYnSzclmrUfxFm2
HiBG4cxeW89Mulr2qYBpVkRwIKIR9vHbcKfpDMdkZTvmnvWt1BjFN6QjKDQ30q4U
JXGMcf+7mSym8UKn1lAS+1M6WQ5+ug7Ex3bB0SsiNqKAqSsZZmgeVvyP5T5Z/J90
cOcddEw+uTfPj37r4o+HYrBFZDIGsgcYktqobFsba1fwOwfEQqEbLZQG88xewIIZ
yw0yz3y13XSTxpm7XM10/Eq9pc0JzynokrkVJx4owUIR0WTZqFKokoUDGEIULSmj
+pFUFmTJBgm3Jbow6qAQsy4RCtOb9U9dvdTh92L2T6IaEE9c+EnOsL9gwPefy552
+mPitPxNauNaQ3+Wc2B40zVTIUZ5ru2ybqd4L+z4+N1ZIoXM9GQm9QTJ7s2otnR4
doiOpYlwMdQfflbxbqwwlO8cmFe0YUzPLcyjIrL6IuIO6LK/iIjh6znOraSxH/UU
R6AiDlSHDuv45DWBKXYVYGzmSV+3+dt3+S1MxfJmf88pFjgR2kYWflL5mPqJ6dR+
ISRqu6859mL1pBboJV+3Cdd4PSKN4v77mfagvl2NfDUJiLF+/vc=
=ZQWq
-----END PGP SIGNATURE-----