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

Format: 3.0 (quilt)
Source: coqprime
Binary: libcoq-coqprime, coqprime-tools
Architecture: any
Version: 8.20.1-5build2
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Uploaders: Julien Puydt <jpuydt@debian.org>
Homepage: https://github.com/thery/coqprime
Standards-Version: 4.7.4
Vcs-Browser: https://salsa.debian.org/ocaml-team/coqprime
Vcs-Git: https://salsa.debian.org/ocaml-team/coqprime.git
Testsuite: autopkgtest
Testsuite-Triggers: coq
Build-Depends: coq (>= 9), debhelper-compat (= 13), dh-coq, dh-ocaml, libcoq-bignums, libcoq-core-ocaml-dev, libcoq-stdlib, libecm1-dev, libzarith-ocaml-dev
Package-List:
 coqprime-tools deb ocaml optional arch=any
 libcoq-coqprime deb ocaml optional arch=any
Checksums-Sha1:
 8e4f3c39e58425290d106c23d76ccab416c6de35 996557 coqprime_8.20.1.orig.tar.gz
 5ebfc9383d053c2ae79f0f6e577cc69891c1832d 4012 coqprime_8.20.1-5build2.debian.tar.xz
Checksums-Sha256:
 888cf04d06b6d880d1002aab0908a79f691c1c72bd05386415905e6e04936220 996557 coqprime_8.20.1.orig.tar.gz
 7d747e83901a86c3fbd0427ffc75c0f7852a676aab5c329ca118f5ebafeb1b3f 4012 coqprime_8.20.1-5build2.debian.tar.xz
Files:
 32693b1bb28ecf2a0847bc583d15ca4c 996557 coqprime_8.20.1.orig.tar.gz
 7046d9c11efc2e1222c72db0cc1a8df1 4012 coqprime_8.20.1-5build2.debian.tar.xz

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

iQIzBAEBCgAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmqiVDAACgkQ808JdE6f
XdkG/BAAxSVZ3zky2A9OeQKA8MWxS0syC7Kn0Br2ShyVKJ5etvS8ifcwE1RSsDTV
50wxKsNvA/UwVkTTfgbFHVv75tsq7mG0bcJ9OLxFbhO309K8bg+8aRVqXvPFZpLe
Aw2t2/YglVgsoprFhzTgRSh2GkzEf68Koxb+h8hw2U3fEbGSPfhSfmHat5F3Art5
d9VohNyEJ6C+jUORy68j8ohAbfMs+ZBzqLJwDpifm69W1s7emqPJUpUk9UWMJvpE
tqzKmVUm/PgMn4AOM3kW9t2XbaFOHFHpGFevys2f/VKxSy7G82Bxy7P3+34U5Uvm
iuOD1LydS+L2ZP7+8TLORdNjHRRa7swf/pjeQgijXkMi4W7ZzwWpUkH6XKKoPb1B
cDyGeLKtGoH9ha2DA6jJC6pcAjqwo0dzCqoYMzfJJJwqbS2MQwozvLsRUFVYPEkr
btTYqkAtin8LxwFZ958hlI6h/fJQzoouoEZ/VPMZ/iiaX44Ye3/NT+6g/k5FtJGI
SiomNGGIXjdEh19qr4AcHokPqVhUv87IO5KiyzGgihFmg9K2A0wAXJpAhNHy1I5d
5GTYI17sFx7ynbbTd342XsqfzKky4Jc/8LIEfd0/1WQT8B3g+aPujTrXyyYfdFY1
jw18ApQ99IFc7Dmc5eV2h7Nt3CFsnYxl7a01JJjWfdGs8SJRhoA=
=joBI
-----END PGP SIGNATURE-----