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

Format: 3.0 (quilt)
Source: coqprime
Binary: libcoq-coqprime, coqprime-tools
Architecture: any
Version: 8.20.1-1build8
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:
 8e4f3c39e58425290d106c23d76ccab416c6de35 996557 coqprime_8.20.1.orig.tar.gz
 40cf31b6fa3a2ed2e4b40d5f117aa97e4ecf99f9 3736 coqprime_8.20.1-1build8.debian.tar.xz
Checksums-Sha256:
 888cf04d06b6d880d1002aab0908a79f691c1c72bd05386415905e6e04936220 996557 coqprime_8.20.1.orig.tar.gz
 cd2123c8594fba6e68f4ec338db28f83b41198be89dc8dc4dc756007ad8d8ccb 3736 coqprime_8.20.1-1build8.debian.tar.xz
Files:
 32693b1bb28ecf2a0847bc583d15ca4c 996557 coqprime_8.20.1.orig.tar.gz
 adbadf0bfefebb2863c3720a1973f3ed 3736 coqprime_8.20.1-1build8.debian.tar.xz

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

iQIzBAEBCgAdFiEEkv5Pi0DK3E7M1gwfWWH9vpxhmAkFAmmoS+YACgkQWWH9vpxh
mAlDOw//bmjqiFWS2HQ0hN39oK4z2TAgZ5eq3iKgRzlsi5+qt7h0h2WUJQrwiZa3
xOLnVPir9YaP53j4FVqIk6kEPIGSHTz728ST4Tfm7TtZuvk71pErleZNKMsMF6LS
GabgwSa9S3B3CbdYHa1u0nP1A9+H8+F3RtJ1MlF7W7WUaCiqHJWSDi15B/XWTCx/
KRnM2p5M2Bptpt26X0zj00sPLZRd5YYFlRcZPK1wV0vBAsZoiyb0hs1ueH2ktSy9
/9WIkH7wL4f3N3oA6PYKFBLIZRn0nPpAKJKrDDourY2DcURqe8IG3B/ANdI53SiJ
J6pa6IiYm+RF3vplmkvyUOlqcaRaFDXXK2lvDOFDC59XrL1nIcFLKcOit9sQt0er
Wdabrvhgb1V4Mox9sIvM9oXNtYAcBAX3z12RIDTWkWySPAo6qKVkCJgV06zbt3hI
HmWFIwthMAPxKQ7MWbUgwS4+hVd+M3e8jYFqjRqvQ7+21P8ycTfpWtrgV7oVKLnn
Xu58sGh+sA4B0i28niMaEvRD4odqGRJl642KmAEJ+5cNd5P3iojldH5/fTaOB6KY
M02s04Oxz50wxKiDUx/0KIn+3IbKxDzbmyf9YQh33OfgpTREvQGWSBuXxEQsL7Br
Zr5l059POpHobq7ZpyGGrx20CVYh+TWr8EeV4ANHybOtY/q9CiE=
=IJiz
-----END PGP SIGNATURE-----