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

Format: 3.0 (quilt)
Source: coqprime
Binary: libcoq-coqprime, coqprime-tools
Architecture: any
Version: 8.20.1-1build4
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
 3db7796937aaa2727a8430b8bfe0b147a76fef58 3624 coqprime_8.20.1-1build4.debian.tar.xz
Checksums-Sha256:
 888cf04d06b6d880d1002aab0908a79f691c1c72bd05386415905e6e04936220 996557 coqprime_8.20.1.orig.tar.gz
 7f3eab893efdeac77a9bed7146da8712e14ae88c75a2d4535a6ffcdbc204638d 3624 coqprime_8.20.1-1build4.debian.tar.xz
Files:
 32693b1bb28ecf2a0847bc583d15ca4c 996557 coqprime_8.20.1.orig.tar.gz
 db4efae98bdc864b3ecff34fae8eb670 3624 coqprime_8.20.1-1build4.debian.tar.xz

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

iQIzBAEBCgAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAme1heMACgkQ808JdE6f
Xdkr+w//fFflz2JTUTmjKu+0ck6gWBmnkkaMySg5YoWmo2w151ts93FeWDE7SDEd
+J2cAdT4UaZ1wZcaMc46KtKnel1qNaZzSh6KZuif/OHEltCpd0yTM26luutfuEUP
7le9xL4tG8WPGBu/NW3Dg6fixS1SIqyXyM8Ms8JQYUpFAfl8bcK8Qr6Rw/Fr5FR5
j44WXX3ui2jRIz9IfUnMJ+iYk+9JWZZD6pPnuBFN9+TMgJFGvNbglIu1mNa51lUh
HG3e3X5r23nNTCgI3PFIMmbW2YOPTSxtzHyrYjdGhfteb1VArl/Ycd7AHg7xowsC
BjR/QHm481jfacxgUyo12wZhuviGeCYtSDWUdPfREx5RLWSLgGzB3GvvbLR+/686
7pnfVyt8fJLQe0llfMUTSmINrlJFMyHxVwKr7hcVYYUva8tTf+Xd0nBIChSJd9Ht
Ce02VCL7+CsmQYcZHPBpH0fj/zsj288jilDHNiTrGAC5Cpvm+Q/aQSJFEx0XJcLB
78vZk8gQ6skpWnmwkMx93CwQy/sihht+T9+kyKe2vlSwmvd/uBbxyRtj4GGvey53
s0JTqdGnfgynT7x9DJwi+CLfMZ8oGHWY09uRvLGbf4QRIb6c+bZmjcm/zgbhup+H
W/vjd5Ct6Hudijfocwa9U1ZUXIu5yk4U2pOGBv2nvbnznBlo+0k=
=Jvot
-----END PGP SIGNATURE-----