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

Format: 3.0 (quilt)
Source: coqprime
Binary: libcoq-coqprime, coqprime-tools
Architecture: any
Version: 8.20.1-2
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, 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
 f0039364cff0ef63cf9b052a46cd576d9bcb1d34 3540 coqprime_8.20.1-2.debian.tar.xz
Checksums-Sha256:
 888cf04d06b6d880d1002aab0908a79f691c1c72bd05386415905e6e04936220 996557 coqprime_8.20.1.orig.tar.gz
 a54c15e930db097fccaf5f3f6416b15e0a4ce3a06faf4e0cbd34ecdfb0d415be 3540 coqprime_8.20.1-2.debian.tar.xz
Files:
 32693b1bb28ecf2a0847bc583d15ca4c 996557 coqprime_8.20.1.orig.tar.gz
 2df5acaf744ef3c6c5b57ed82b981ba8 3540 coqprime_8.20.1-2.debian.tar.xz

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

iQJNBAEBCgA3FiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmkB3UwZHGp1bGllbi5w
dXlkdEBsYXBvc3RlLm5ldAAKCRAExTvX/gMFUaK7D/9/RScgbV3iAJnPVae26kWW
MNVDy7DcaC48mV22LYFxPs5zD+ZYZIxDXIjgn/pIi9aO93psCKkKC042l63ok0r5
b9/AK4KOsnXKvOnyQjoDywd2PDwoeUuHvSQ6u92mKdKvHs29NzHw0rM/omZ7T0RN
d+C1ruWzWd0ihgwYSnc8mFNgWdMdk09JHbEdAAP0GLeE7z4ZzdxveaR4K+EGYu/v
ZcBPTouphbL57GRSLueOXosrtOGqxd7Cjvd2yAMl43JKGnlu4iED2BzKNosArdFN
2NcbWT0PH33I6/D3DXkL76NdAZDYARIxgQFpe7Ahj5XicocCR3niL9kpiS2upXCZ
5HNxwQJmdskuVhbU0NJQJUxFfFvNJtbK3kZjcuEl7TUCUOkKgFn3LOMwSUioRbyR
KYAbwd9qEGQzuf8OjsKY3jPtbPTezNHExWLtwgt20uEUcoITxbpGWSmofGUaTcoe
rl5TV41yT8MxSeRJOindgxKkw1YrK9QXcM67VZHAcKpNs+n1BJAD6zK1/2bDU8h5
IFvK2ZFaveOLAEbY0U4Lau7CcB0Td3XEo2xeErnWf8Ie1yWcMltoEiHHeHc0LKZl
Ztx4IrpHQaaMxeP1uZ1uGM7/8cQrr2gSRx/w6+pfQzTRFqI5ExwBAw55BgC4IWLo
5bnXWoxkPUs88CrdNNdu0w==
=+YSW
-----END PGP SIGNATURE-----