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

Format: 3.0 (quilt)
Source: coqprime
Binary: libcoq-coqprime, coqprime-tools
Architecture: any
Version: 8.19-2build3
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
 4543d5e2980b082a63f3165c59d958f760fb83ef 3552 coqprime_8.19-2build3.debian.tar.xz
Checksums-Sha256:
 bc70208f591c3f4489fffad3ad58d3457e8e0abdb1894fc84383c957f1c0918d 996563 coqprime_8.19.orig.tar.gz
 56b95d0d75668fb5fb6af33c0f753aeab6bc929f5f04b9de2e2b967d40964e37 3552 coqprime_8.19-2build3.debian.tar.xz
Files:
 839f8440c7c1b952be0c806d1869a9eb 996563 coqprime_8.19.orig.tar.gz
 acd6f9004137accbea2cfd28488d36e8 3552 coqprime_8.19-2build3.debian.tar.xz

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

iQIzBAEBCgAdFiEEVovyKmYzfL/Jprm3LIPbyOm9DjcFAmbci1kACgkQLIPbyOm9
DjcfaA//RCKRxQXWGgVYcXLuvPmmThSujNrXwBA5IRfN9yNiFFrwaiKl9NHUeEvf
AB5vVM2UZ5Z0WkRDyP1njGQOyvXv/pFo5H7elAI8b4mcWeq9Yxjt54rVKf6kfLsR
CnDWoM1Qw2KXrMCPUuKhTsNYswWk6WVxqWdifCZCye0XfpSdvUcIBSpcp2VZmbvo
p3FbYl0TjmhdaJ6cdcgoNuoGw9RUJE9uxxQsR+rp0wY9lNjiWhNHkYsh721/rrPB
3PcHBX5mu5CPLj/aP0ZlI3snoFA5RFMDfqM08HSNn6z5bOua819CIiObDvsCjfED
rWs+lT1932AGjE4oMuniZHTHdRJmnHBB8z4u5xuFdX20HL49FS8WtFg8ZxsLCpsu
PAmH53v51M+d2zKYzo+F3JmTTOh1W2PP/fTxIn7g0LLg6t4U4tyzwoTcNWF4W6Ss
kmlew8MPdDC/Jn37m4s+Ow4n24awnLcKgqgNAI4hOPZqQvpHl8wAHqlOezsA0ida
gQPUP6c7JMaaLjnmYSsKgAOI+OLv6h9154k3vEMG2qIldsn+wMoxKqvL/2JlgP1W
SfuA18HMsJic3YLAm9fh7l6ufi407dWWND4n+kND6qCPIfa9vtMqs+qSORiu782r
a0L3lBd72Gq5bSJLoDNF8iY3z0YpN2p/va6U7C/fWR7iov1+st4=
=pGQG
-----END PGP SIGNATURE-----