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

Format: 3.0 (quilt)
Source: coqprime
Binary: libcoq-coqprime, coqprime-tools
Architecture: any
Version: 8.20.1-1build9
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.0
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, 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
 71ca7da0d70b6949948a29db6d624bf832e8e3ce 3764 coqprime_8.20.1-1build9.debian.tar.xz
Checksums-Sha256:
 888cf04d06b6d880d1002aab0908a79f691c1c72bd05386415905e6e04936220 996557 coqprime_8.20.1.orig.tar.gz
 9a4c33727ec7fc943d487a4d9293aad27023f80dd87b3d3676361b8bc0d46678 3764 coqprime_8.20.1-1build9.debian.tar.xz
Files:
 32693b1bb28ecf2a0847bc583d15ca4c 996557 coqprime_8.20.1.orig.tar.gz
 b40b0d48dde02b524d37c1bee52036ad 3764 coqprime_8.20.1-1build9.debian.tar.xz

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

iQIzBAEBCgAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmpOx00ACgkQ808JdE6f
XdldXw//ewfZ8VehyKRSMlooFR0l4nPU5QtBFDwweZ25KzEnHOxkvmZKWhho9Nro
1+dz2HDeumFF/dA61U9FExnRt2NwwONfqcQJfydjR8V7B9DbcCIKa9FeGdEZO7rQ
k3pZ/HodL1No/MH/y5JMMXC9wjXuJ9b71PbrH5tdnJMfcxpDkgFyCz9gQTNNGf8L
c8fNqLfaNccdzY1ol9t3UylCQo/OLv8hpxVb8y1pxODaF5jAxE4fAMo0wjrOG0yM
TR2SXOwd42+ETek7fIO/ZRdKfLpOP/ECk0BLNbUll9lty97MUC6lQfzbJRlL+Te1
OCehQDcf6VQZaG130Gt3ZOtHKaXtna66Ghxa00x8cF6lcmALyQWMlPIApvKXTov8
nPRZJ4bdC7oAy5nyxM5gXirxGob1eP7AYU/Mw9ajv998/RAMvX/Emi/psbkTHkuv
/1l5r1D6SNWeHppFk0F3qYSqBLnVuBDXnEYYTVTwjj85kA1B6ycsPtdl5CzONB/2
NfUiVEUrqfgo4VvGtLuEJHbdbXmjk7mZe45FqaLJNiWN9lzJPznJ4iz4TxtjFWql
r8E9IX9caAk9tCE/kQwSjmV2IyX+ylC9GlN9EtbkzRuDZzIK0fu965ivQFnUEm44
iUkVOe/64/2i76ATSBVZyMlXmCRTpA++leLyZ9ypaSB6W4fuvuY=
=RVfZ
-----END PGP SIGNATURE-----