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

Format: 3.0 (quilt)
Source: coqprime
Binary: libcoq-coqprime, coqprime-tools
Architecture: any
Version: 8.19-1build3
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.6.2
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, libnum-ocaml-dev
Package-List:
 coqprime-tools deb ocaml optional arch=any
 libcoq-coqprime deb ocaml optional arch=any
Checksums-Sha1:
 e0804288ae24fe2c8c231430428a8b5cc4dcb40a 996563 coqprime_8.19.orig.tar.gz
 e15705c98d5aac27b5639c0b0ae119d0fb51d9ce 3448 coqprime_8.19-1build3.debian.tar.xz
Checksums-Sha256:
 bc70208f591c3f4489fffad3ad58d3457e8e0abdb1894fc84383c957f1c0918d 996563 coqprime_8.19.orig.tar.gz
 7fc11d4adba307c6d22ff829c80717bd58217784efb97988ca00e61f614c9e69 3448 coqprime_8.19-1build3.debian.tar.xz
Files:
 839f8440c7c1b952be0c806d1869a9eb 996563 coqprime_8.19.orig.tar.gz
 d2c35b2ceb5f535d797fb7404a190622 3448 coqprime_8.19-1build3.debian.tar.xz

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

iQIzBAEBCgAdFiEETQvhLw5HdtiqzpaW5mx3Wuv+bH0FAmaAoqsACgkQ5mx3Wuv+
bH2Y6xAAxwh+N9vW4EFV5goOYe1ns4vi7Eh7BAMe5sdP+9lQySstqs9CkC34dFrg
ex4fACMx70otMwljrNlTpYh5zRvVNcK3986GOmNI/FslTtV151UpOXRPgqJi3WBz
I04VgKTK58AveYOEInTN9tccM/1jQj6bBzNCJBa4rm2IkO5xtmF036Q2Uxf7kfit
vUFEBmqCN6u/wVxAN/dyTenY7oSuJmS7Wwcr4Aqntzht6VgUMgCiIKzANjWUYgFK
lhyqE3qB9vjdunDKS1nVDUzUF8IHv4PI+xr06y/dyzsRaUPhljHfwz9mTGKv49SM
VPDL3WDbmKt+U7OIQk6VsVF32LJ3rWzf4Kd11qgkabRbGlqfUEme6Wpqx3DhY71D
NCengZaxbnOr52gKjDCvKt6RCSVJExx7DmrwgFr40WIX0qrgBN6AzD60/kubKkpQ
k7l9PDMbHBpbTXkB8fRxg/bLImjvTO1EFipKt6P2wgxkXWW6Sbiq46kc5gwS0xzp
EPZpG1sz7xKMyCiTR3yCTSfe2mad93RRtzHIfWG+EVIbYRZWpV9zSI3Gx7E3Em4c
HMxqEvp9UGdS04KHUHYJ7AvXtKtrP9wBPpFevoQ/SyHmzPDRZkgvjMyyZZxQewg2
wVyZVStNOa7lfrx6WvRA6HyMfujaRhqIjEU8jxmrxfycLM2AGFM=
=CiIZ
-----END PGP SIGNATURE-----