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

Format: 3.0 (quilt)
Source: coqprime
Binary: libcoq-coqprime, coqprime-tools
Architecture: any
Version: 8.19-1
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
 ea0682e64c0ce3f3c3fe166f17da7086aeaaf013 3304 coqprime_8.19-1.debian.tar.xz
Checksums-Sha256:
 bc70208f591c3f4489fffad3ad58d3457e8e0abdb1894fc84383c957f1c0918d 996563 coqprime_8.19.orig.tar.gz
 077e61465808c67b7d5f6f566793b9975be636d0d99b2e1828614f7c29eb8270 3304 coqprime_8.19-1.debian.tar.xz
Files:
 839f8440c7c1b952be0c806d1869a9eb 996563 coqprime_8.19.orig.tar.gz
 cd9286404692d667be8bc437d55bb6e6 3304 coqprime_8.19-1.debian.tar.xz

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmYH1KASHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRoI0P/ifHnyMtmVHZmhSTGslrakgG7+T8YqWU
EoVywzc1Zi0PiH87UD+7vgcsrefzgaf1KueI91WRGG/Y5fQLG5oXq5uhOo7aX225
2UM+hhhBBQ882SrbGJ1p+YrjlbJXIwYpQxfLdjr0250dCI6FDpsRdcp+Bzxye/Z4
rFKwKOmGFIzkUZ0l1MkQqtrdP20Helh9SEf9xqYZR7TB+lplx0UQnxAqax89UJLJ
oi4x0SrE+ph/au/1U+HzAdUh9/qw0plMu4lQK1y8+maZtpnRg+uRrmaI1Twx0sUt
ONFcw40Y0ZipYE54zhzQMSx3p04SCdWorbg6MmQOJmUfzXlviTxDH0eWGA521RHe
N2ndyD3qBm4ipst36+CrQDrmUGH7K26PKmbDOgGI17rLYuHbxinCI9oal/Jptuye
J0s47GJHDfZUpDYaw5APy2TaA8dl5C1cBjqSKLK7V6g2RqWZYqJVO69irSJwvl/x
1a46jkxfrzsg/mne9ITQ4ijUPT93oOtA/R/GzS7VFdAGVFW4uja+UI8/4aJcLPQa
ItKlwMliyfavRbkoHz88xvxELwgQyPWdp7QQs7sQwImEKXiMqCLVUZszxwPAh+et
lY1fKaN9h9RJPwlNHWLN69yG1B5gB51TrzJ5mtgPG38Z7txdMC7Vw08wjZ9uY+rb
s1zqSEPNeXB0
=c41f
-----END PGP SIGNATURE-----