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

Format: 3.0 (quilt)
Source: coqprime
Binary: libcoq-coqprime, coqprime-tools
Architecture: any
Version: 8.20.1-5build1
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
 b9481b029fc6b9104a733c9a15529dbcb3b953aa 4004 coqprime_8.20.1-5build1.debian.tar.xz
Checksums-Sha256:
 888cf04d06b6d880d1002aab0908a79f691c1c72bd05386415905e6e04936220 996557 coqprime_8.20.1.orig.tar.gz
 4fe10bdfa84bc711957c47388438dd5f07eb226e34451b793d9e2029e0a97413 4004 coqprime_8.20.1-5build1.debian.tar.xz
Files:
 32693b1bb28ecf2a0847bc583d15ca4c 996557 coqprime_8.20.1.orig.tar.gz
 09c1a0b3a72040e22d52d367a975d56b 4004 coqprime_8.20.1-5build1.debian.tar.xz

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

iQIzBAEBCgAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmqVNQoACgkQ808JdE6f
XdnnexAAmyQ336D7/3h9kJ8yraZss7046VYg4mpk/qADvuTG2QHqzSqaiYPaj/17
t5LKGRMUQPrx+ZJRY282cONlMi6GQIpcNTAIGeb9V0HyaceYT2/ak+JmGBrRsw3P
45EXtHegeS1BlUJOQomRVXI8PJ0IHGnLlV/WJvtbE2zQKZ8IFlHaLJvYsnmE7Ux/
jeFqx7ViFJj95p5Iy/eJgqjA/BFSkof/iwaXcshOaDKUJhXoGdgBL7/gIK8xFEvx
//w+vnDg73ZnNJjKiQMFaTzjc0h6bMqDRYSDnk1vrtphhBnX21EgxxCKtBvmpfrr
dHY3m6ccCqScS8vJAgzNPEQ/1bCE7LvP8XOQBZbgQQW5GbwfO5+y1EhX+E+y5K7+
qj1lw2Yc7K+a0NPt/pUlUxlxKnDNRLqyGx1EmOp5wVtLk6o6sZ9tn/5KLIriFEuu
JJ44jPPtVGc/Hb+9dM6cF2tRFxvwFGhosruZUPhB5F8hgWgJYvMBxMe1eO2XtI6f
jOYlRW/FHVWxan+RnH027CP1VkZY9yNsfKYLEdu4vCEjykoOIxt6Fan0+CRSMLTz
2uN0kDsDBXlMDgazMteLZUukxL5+bx8ezh93nVsQ8L/2cdkXNqx8C5QXfStS37es
CBNFlgu8vh1EPU5ZUntC8Dw+YeOipABwcXD2CanPwHTexKqAbXo=
=gCcb
-----END PGP SIGNATURE-----