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

Format: 3.0 (quilt)
Source: coqprime
Binary: libcoq-coqprime, coqprime-tools
Architecture: any
Version: 8.19-1build2
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
 d2118a495abf7be903967b2c6913f46c1563f1fb 3388 coqprime_8.19-1build2.debian.tar.xz
Checksums-Sha256:
 bc70208f591c3f4489fffad3ad58d3457e8e0abdb1894fc84383c957f1c0918d 996563 coqprime_8.19.orig.tar.gz
 df24c65d869b99924af31340c99b5949ff420ba41cac5aee1e52078a69acd1ca 3388 coqprime_8.19-1build2.debian.tar.xz
Files:
 839f8440c7c1b952be0c806d1869a9eb 996563 coqprime_8.19.orig.tar.gz
 06df007c1abaceb8db9640fcea1a2b0e 3388 coqprime_8.19-1build2.debian.tar.xz

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmZtp3cACgkQ808JdE6f
XdlnbhAA2HNvdsFatdcx7Jc+53UjNPYKbLPwlVNH5ZfQlPB0g/FID36acQPAfAcE
W5ZXqlq2P2TsqV4aLKA6yZ0rWHMSn4IzndaN00GgC9SuGmEB7O39KyQQqD9ihp68
qs0D7szjBKH8eqjdKkgmA4DUlBx12f7ybQHsP6cCh6jZNDkckxxQxZ/6VEEukoS4
SR6WErJUJR+75ejqU3U//qM0oShOtJhEdNNYdaG3HEKuRaHcyBw7sq7PsBnSazw5
RUcsNe5tbKG/ukW1Axqtv/8z4vQf3w+i7KJ3nbsPjV7rIu9Srk/q46IPV10O+KKr
G0VIhH9YAENxjHPqMJ0YXs5M/lTdIvWmGwDqfzUgy1fJVcyPs+Gyiw3ByoToXenJ
X7YfFlnTiFrm2a+3pz3cbJgtMtjCIJmULUzdgB4hiEQqSmwaG0pIwhZAaiEhLFX6
i8XKmHD+cxpQT9yPK6DylV9CSVctVWs2T8cyqcQuVxXVK5Id7izPIC9JnchyWKCj
iSqCDgesGRP4ny7fbzp6erp7QT6YCHtoCm4eDTaT+h80ldqnZMBEZh+0jOF4lueg
P1Cbj20LNoQvpK0HyYnbQHWG21/Ui0frpQ6yykK01DkytO4cgY3aH8oCXwJXwJj+
rmkFHgRTF6l0bSM/LwK659bU0W6vHalPrITvwHn1E6UGMgseFl4=
=I9s/
-----END PGP SIGNATURE-----