-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256

Format: 3.0 (quilt)
Source: coqprime
Binary: libcoq-coqprime, coqprime-tools
Architecture: any
Version: 8.19-2build1
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
 bd8b0ab2d7a52deefbf979ae5bfd496bdfcec637 3476 coqprime_8.19-2build1.debian.tar.xz
Checksums-Sha256:
 bc70208f591c3f4489fffad3ad58d3457e8e0abdb1894fc84383c957f1c0918d 996563 coqprime_8.19.orig.tar.gz
 4d22dfce8caf793f589e9c90cdba2442b42e92ce02110934cbf896e541c7c0dd 3476 coqprime_8.19-2build1.debian.tar.xz
Files:
 839f8440c7c1b952be0c806d1869a9eb 996563 coqprime_8.19.orig.tar.gz
 fa76b088ef488e186b5337f782e5fff2 3476 coqprime_8.19-2build1.debian.tar.xz

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAma9ox8ACgkQ808JdE6f
XdmjUQ//fzldY1G1qXRTEtYdaOWrzihjv13phlNKz5P1DIzXMBlnh434crgntNkx
MeTALEnwnebNVQWHa69B0oDbA91XOo8AF6P1yHX80s23F4BZcgViPGpMwUkpbDO/
B8/R8vwf0JUCLgVV2yMX5U+aiD+WFDV+bTJA1zMgIAI5LC1vhI43L8ncdX+oBKfM
5OPb8JWIzuV6G772zKTFhezdUg911CV9Wq5UYzeX0bYRm+DN/Bov8vxlOooRp9n+
7DM/1zgwWBXp/kIps1BgwN94aqqfM/bnDTK21hXCVESHDA44qU1hP4A6e6VRRY7T
CqOIaHaEKG7qbYBvGRygjfyNJDjCxsWoNsTcH01HEqX2L0mN9H6E7TBcY7tOfAqg
EQfpSriVgrdmD8iJp3dnHdq+F2Erc5+rglo8RrqLnCmdN1iRVY0cf52ziOZA2bd9
nNAnKuOp1TDxJRq3JzZ56G0e0ekx8RFCFYKn75512hgWz5zgH7PLFhGEarV4Ls+l
KeUwwKyQhjgEUCqZ3uo4qKfMAuNmin0NfO/ZuxW2jO0EqUn4nyuNYy6CddYMK4BN
6q/H9UQe2GV5kJaPkEImq7nbOY2CusnZ1a4FlPiozngQuTY0rqBVIOutuEbY5/5/
pTZQ5HsmdkLefON9KJZ7pJQ4VNfhxgi5QRpN/oOj23sjsAVm9dQ=
=/0DC
-----END PGP SIGNATURE-----