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

Format: 3.0 (quilt)
Source: coqprime
Binary: libcoq-coqprime, coqprime-tools
Architecture: any
Version: 8.20.1-3
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.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 (>= 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
 ee0eb35891f7979ecce4864aa649d0da8c0d82a1 3576 coqprime_8.20.1-3.debian.tar.xz
Checksums-Sha256:
 888cf04d06b6d880d1002aab0908a79f691c1c72bd05386415905e6e04936220 996557 coqprime_8.20.1.orig.tar.gz
 cb1d0181590446b08f95d77a85c22c471d91d55af2e1021d37aca4c4b723cedd 3576 coqprime_8.20.1-3.debian.tar.xz
Files:
 32693b1bb28ecf2a0847bc583d15ca4c 996557 coqprime_8.20.1.orig.tar.gz
 11220f590b0c220ce71e7769e75702af 3576 coqprime_8.20.1-3.debian.tar.xz

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

iQJNBAEBCgA3FiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmkTgZ8ZHGp1bGllbi5w
dXlkdEBsYXBvc3RlLm5ldAAKCRAExTvX/gMFUQETD/47kQVOLj6Mak1mR2sUz6oe
WzUVukPrA3kHiMXs91OpTswUp91u6YJaiTxTAqfavw1OG16IKMjlPyzAgKY8KzyT
z+L5mrlcQrG9Y5f9E2g/q82qOmJ/2KpkxdLvepMX4RJOwDk5UYYPd+vBRaVqu7ni
V0RxfBcHDJ7kJGQ+2DpwywiAaQ86pu8m11vKic5vRbnvxR9syTRqbbNVLB6qc5rE
/lhZnKPE3tnbdZufgmS8shseQpFXHgrB5As6qIMa1pkYy2HrC2deSdnK+6nQ/jCX
KnkqR+HtXwIWhFEcg3PquNQBqgWev8bP2Dl2IQc8L+YR9xTPYelW1aPcHgaSzqhJ
uCGXWDCMrKdWKjUJAO06EfcjNMhBpsE5MsDKN9aJs+W6tLRu532IxkoLLPamT5QW
yrBRYsY3ayLzLfXdxiCNqSAMF4jPN3YQOZ7GFyAZSGEsgPdHY8Pa61qgAoGWpBfO
WJQ/aXBZUI/qE6u/1ekCOioCYywdxauW+Jd7ZBs4REXAytsEx7lRVZbsb3xigV4S
Mp1kSqoQq2tCOaaj8fAJ7PYjmW68iA4bbFsJ9pd1LuspNXAw6uBKWeEkvjzZD8Bv
I9W0Fq2/cJU5s23+b9gzyrY0vAUAE6N2QDgmmomi0OW5lxZQxRuYuszGYXu94knX
gmYHhGpLfQjcCmmPq/3DQQ==
=lPNM
-----END PGP SIGNATURE-----