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

Format: 3.0 (quilt)
Source: coq-bignums
Binary: libcoq-bignums
Architecture: any
Version: 8.16.0-1build2
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:
 f53b271f1e9b8e287e083e4e32ffc49c7502c543 116097 coq-bignums_8.16.0.orig.tar.gz
 faa881a9b9a3655fad3db6ff73ff92d05ec1e501 1884 coq-bignums_8.16.0-1build2.debian.tar.xz
Checksums-Sha256:
 5e6bede08f3c019f3fac2d834e7c36b9f42033736a1d1c75251965eb7708374a 116097 coq-bignums_8.16.0.orig.tar.gz
 db20654ba9bbc33a7c640a9ab81ad8db8ecb11112ba93032a086a76cc1ce97ee 1884 coq-bignums_8.16.0-1build2.debian.tar.xz
Files:
 d3d9f5aed9c78d53748f14ab98d84c08 116097 coq-bignums_8.16.0.orig.tar.gz
 6695b8a3ae693562a5280b68fa93a8b6 1884 coq-bignums_8.16.0-1build2.debian.tar.xz

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmOBBS8ACgkQ808JdE6f
XdnrfBAAnTwHO8EJZZwjY3FePARGOP9jNrMmD1lo9Ek511ix5v7+9kwqlTJDdR2y
Jd3IXq86hCE7xZQA/25NnbWJnwn8npRj+xugXd0mC8zlJQcM516SiS92Sh4TWLsW
VyHNYXUUmOG/370w5p1Lcmtb7B8yUseM4TYNR58W7DOJnF/O6ps1fFl4QUYlobVJ
XxTihhgcSUCRbThFXc9tn2WSHRMtbuHJZFTd4G7EQu0Cw7D5rFqPtOmwk5hhCpsJ
nSE7Q7Xq10Z9LgxOzm4R2netLmXR1I/SwYXsl5qlyXYW7CnPCxoEouUFi8faV4wL
SgH2kHjnsGEHhMAXOD63XNgVCzNo5zj4JrtrxoqT012wVIEtsBdC8IhipSHEO/5j
9ugI+97zlO4BgDDdFdHzZDwvlbqGuQCQHriilJR4kd5lZzIhRFHek0tbs/XRTEB1
RX/sf1cQB0LU7c5PEEGVHqcmZYkzvFCNQGwkL2CmNqxfVeaREuB5pnDbXWvIaF2G
9fUy7zCgar7fsjkrR0LKrEfylr7yQ4HarnIe9z1a/0X4Us46J3+rsuohkhX/uzha
i7L4sX5srnkTbAFPAcVqP4mtQf3z4IDkS6VDaojoDuyUFdTQyAPVL60qHCMnMnxi
J2OTVk7+kowFrnRygaMgvG/RiSku2+Z/OskoqGMT3l0D3SGpm4I=
=QE3l
-----END PGP SIGNATURE-----