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

Format: 3.0 (quilt)
Source: coqprime
Binary: libcoq-coqprime, coqprime-tools
Architecture: any
Version: 8.20-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.7.0
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, libzarith-ocaml-dev
Package-List:
 coqprime-tools deb ocaml optional arch=any
 libcoq-coqprime deb ocaml optional arch=any
Checksums-Sha1:
 b7385a9401af40507718bbde756bdcec1b5479d8 996522 coqprime_8.20.orig.tar.gz
 03bd10fbbcee1ce25446c803e21d3ea044b79ef8 3704 coqprime_8.20-1.debian.tar.xz
Checksums-Sha256:
 13cd94a90e4869f22bb00e30ea48faec24bf1698205e6e31b46baf8376bab1c0 996522 coqprime_8.20.orig.tar.gz
 56f8ea55d806ecbd6340030b851dff86ede8e9ebd2e789022a35e34f5f375aa8 3704 coqprime_8.20-1.debian.tar.xz
Files:
 28255e31905c101358f3164944eca8fc 996522 coqprime_8.20.orig.tar.gz
 2dc2c40f6cc0c08dd8e2dc8c267b303e 3704 coqprime_8.20-1.debian.tar.xz

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

iQJNBAEBCgA3FiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmdtLd4ZHGp1bGllbi5w
dXlkdEBsYXBvc3RlLm5ldAAKCRAExTvX/gMFUZEAD/9aNPyRU0c8pg5xu2S3qIpe
bULFFU6GK91TZ03yGqicFKpPr38odca9CzjyhiC0dJo8mkYKnVDD/Cl9iqdpI4PH
L3l7sNdDZbmywFjVDFUUwydEC+sXczJgrE8InH4YUz+eWh3gLdc2HfJ67c0ttoeX
jnBVBRL6V3HK21/3QbZto0QmFjp0w6t1fbhVbX9+MPW83M8mJ7Od11rlVFy0iUVJ
ZiBcJN/BtHG0lJeY0ArMHNsqWKn3GD8/xxiW4M2ghBDpNuCbAmpmozL4sqb6SLNo
qCSJ2ET4d/+PxCPzfqiTOK5r/Xf0KSMvpOi3PGYETmFfxG+PjyX1/1PDyVzyj8lp
abNk6AXi3muk9ejU6buJlmut3rxgzJX8bL6vBK6d41i8RpG+w9OxNsS9dw5bOuKE
6CqX6Yjd602zQrHxMQw96t1j+zmpgNTrtFVbnj979mptfGJBO4xroSbznWX3ZAiW
wAk+95euorOP/IUONOpfS0tQWjvEi54PGpoMN5OY+GqpQ8GA1WHTtwpEg3IXHWFw
jJeszAlwUw2Co0E1c7vgYhFh/wyYME1GvQu825K7uv9bNwyI9x6nN6ezlgbarnJc
FDjQNrXMJ6AoCmQ/vl+SX5Wb5d0QSEv4gt7/wfMytsGbJT2uqttOJN6l+qS8ijul
EfwxqOevBMiAXBU4UURRFw==
=Set8
-----END PGP SIGNATURE-----