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

Format: 3.0 (quilt)
Source: coq-bignums
Binary: libcoq-bignums
Architecture: any
Version: 8.16.0-1build3
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
 0ab94ad20b2b86f422a6a81a35286428c076771f 1900 coq-bignums_8.16.0-1build3.debian.tar.xz
Checksums-Sha256:
 5e6bede08f3c019f3fac2d834e7c36b9f42033736a1d1c75251965eb7708374a 116097 coq-bignums_8.16.0.orig.tar.gz
 e3d241a98588bac6ebff5d8533e18c08d5c4e865e74afc8752c9754421842639 1900 coq-bignums_8.16.0-1build3.debian.tar.xz
Files:
 d3d9f5aed9c78d53748f14ab98d84c08 116097 coq-bignums_8.16.0.orig.tar.gz
 a2e6a4f21c12ceed6b774ea17ac4c0e3 1900 coq-bignums_8.16.0-1build3.debian.tar.xz

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmOLGnsACgkQ808JdE6f
XdmZlQ/9H34r5OlbGSYr0HXsB8LhkbSgbXwTaQhqss77jlr9yqj/JBFFanfbZFsJ
x7GfzK2KggugJU6yCwvCuqIpKO9++PCJG7OMJqe8j3y10jW9sE0PT+HTNbkUXJdo
vamiSwKjvdA116eEF7wVXk9CQb+lEHsPlqP8dkzprlhyCgw/dUSfaRA/ZZawD9vx
hsaJNb1w3nBBFD4ajeCqYRitiHGWxc8tGO+YVUrZHfkZsb5dYwzUsMRU7C93WX4p
PBG5xt3UZKzfRUuRpr9PZhrQFG2lZz2JyVn9sldIXqkBMyAyJ9NOYVWUdwKkvMRL
ZcTBtPAfb93TXwPr5sBuaU20ApwABL1pysanywRl5+JEcpm1l3egQAObxU2QdSA4
/IYcg9wteVi8qBWEEtQHQo7qhpvx68MpkgzVHdMs3M5xEM5XSKVeKy0yLjs2Dzt3
hnEb3MMpzCnmwNplERFBHPYF/ZWRsHGVfdDSNLPYBE0YK3CUV+fcjGrpiL081OE8
QYAfRUWwWIW0GONABBZvIT1e5NnTQFupyyxM/ENyBvZZR+pUYQtA8Bjakk0XnZEF
V36vnT6laLNoIJarkMiajfSTwtxgtIyuoxoTudffyNHTqzD8IzovE9x4ThW4Y/XS
lHUZH1kDORTvG3QLcQcE4+LzF7HgT81VUT7a1U0v2/pH8lhCI7E=
=ppCa
-----END PGP SIGNATURE-----