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

Format: 3.0 (quilt)
Source: coqprime
Binary: libcoq-coqprime, coqprime-tools
Architecture: any
Version: 8.20.1-5build3
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.7.4
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 (>= 9), debhelper-compat (= 13), dh-coq, dh-ocaml, libcoq-bignums, libcoq-core-ocaml-dev, libcoq-stdlib, libecm1-dev, libzarith-ocaml-dev
Package-List:
 coqprime-tools deb ocaml optional arch=any
 libcoq-coqprime deb ocaml optional arch=any
Checksums-Sha1:
 8e4f3c39e58425290d106c23d76ccab416c6de35 996557 coqprime_8.20.1.orig.tar.gz
 25b494313d8a86d043e0de380f4ce7de13bec8a3 4060 coqprime_8.20.1-5build3.debian.tar.xz
Checksums-Sha256:
 888cf04d06b6d880d1002aab0908a79f691c1c72bd05386415905e6e04936220 996557 coqprime_8.20.1.orig.tar.gz
 f74ea4f7dfb877d3871aeace177c97cc0c25cedc825d2007c2af301f01cdfea7 4060 coqprime_8.20.1-5build3.debian.tar.xz
Files:
 32693b1bb28ecf2a0847bc583d15ca4c 996557 coqprime_8.20.1.orig.tar.gz
 338f19acb56596eba17bbc92e455d4ca 4060 coqprime_8.20.1-5build3.debian.tar.xz

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

iQIzBAEBCgAdFiEEVovyKmYzfL/Jprm3LIPbyOm9DjcFAmqtYXcACgkQLIPbyOm9
DjeDjhAAsh+WRxUY8BBtjEtjF88tBHQdRRVYGVQeBoxTYK/BkRD+v23Z3MPg5Waa
wvTntdrlEsqs/64yQlx1rP7oCHjKq+0OBdGQnNuh9MU+JAf39ahRxcIHuhxQfvbF
7Y5RogkyHIYO/JsdU6IAM/9AXwFel34HPIe6WwH9nb/2ABnEcb3l4O/BPaVfNr4c
aa9LmlgLFgZSqN4lzhMh7jGOWhDdZKC6JD89ABSbJDm3/8aRcWVkA/JCFhqqTIKB
iGC5MBva67GOe71/BfJUNa82J+JRlED4ScTZpBgJFIMz/GGRcCMsC7n93M8Z/jbS
l/wFwo4BAkUnh/hQ8+qjXQJwYRdk/MNUh9rdqCwP2SZCg6Tb88ixQUJeBNw/tOYv
6MfL++2loBQZzlwcTJu1WbMZVTUEhTcs4J6SdQJtCf4lPxjqLIjgPdW4t74YMo/v
0u6dc8TSjqYhRKZXsbyO2FHSpZYQvZo78++mcuGlIMLrKuMDyKgxRtBV/uSXCPav
xy47zbB94Btl6cjpzsSZMjpuZmqRQAOcwyypHR3IkHxZMzzKrQxkwgFU/1GcRD2n
sWFONsSKIxe3DIUwwvoUUSRIn2/Uxns2ryeTsLwhAwuymMSok/BYVWBrIQVFve7x
er5JLpewux7nwt04GjmujE+PSXItGqiJAjmYo7fFz/Tvms7I7Ns=
=/2/C
-----END PGP SIGNATURE-----