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

Format: 3.0 (quilt)
Source: coqprime
Binary: libcoq-coqprime, coqprime-tools
Architecture: any
Version: 8.20.1-1build5
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
 b23453a377dfb0c1f6debb3c35338fbece21e75c 3652 coqprime_8.20.1-1build5.debian.tar.xz
Checksums-Sha256:
 888cf04d06b6d880d1002aab0908a79f691c1c72bd05386415905e6e04936220 996557 coqprime_8.20.1.orig.tar.gz
 cb0eb4c8265f1c10d09b9375048b0cff5706d2f3f548180aea430383d505e62b 3652 coqprime_8.20.1-1build5.debian.tar.xz
Files:
 32693b1bb28ecf2a0847bc583d15ca4c 996557 coqprime_8.20.1.orig.tar.gz
 b06b16236dad273ddbc37b65db285ab8 3652 coqprime_8.20.1-1build5.debian.tar.xz

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

iQIzBAEBCgAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmhVRmAACgkQ808JdE6f
Xdl8ghAAxcpkifjEeGFTa9FVQ4Ms4yfGXaJv//ioWLvp0px/xJH+hbic5RWETnB9
uPSP1tK+XjVaYm03Fk3OaiN++yofAPcW/8HHXp7C47fxTVkoj9zeW5o/tlK4ujmf
7IyAVl2+O9f1TR5M6ex4dh02gUxKFK7uJehNewLVSLGnqv99UxRUPSNXhccJp055
7s2tX4uoQvwlLrPrlVQcPclz1NTpAlHknUtJUEQ++paWSd9VEFQ4v/GyhOraik0Y
0HQ6+eXNbzmKa8vdaSlS92DvUX3431MF0PRHhif0yr6ZciNlZTV8hBLmez5wDumh
6V7ti2DbqW0aWRi1jYsSTQi6WP2uLmYi8rrdVjJ4psf2F3fDKybGwQ1khihF3h/p
9k1gToBuPYra1+QQ5Vlyj5IQk0zYWgM+yGMSwcz4/ztnEA5F4LJXuOqvb5RjWBWf
IdBPQGfb2g7ZkwiBaQ+y/wWMfPpYfpoMi32oSKJu6q4xaHnLipGrOoM+J/IZwqog
brDCMQl2rYVv29c+H+WTf2fNPAm51m5g2hoPGx7fOjw80Lb7picsO6YWyoRGCljr
Kg9lvpCGUsRkOTsDyqkq2wpp7ah3RqalWmbSIq7EMew1+eHY3u0IEepZsPquaKNl
swiPhkqK1Pvssl+PfUqQ59cfe32dW9EakRtK4AH7KErc9r/i7h0=
=HqjJ
-----END PGP SIGNATURE-----