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

Format: 3.0 (quilt)
Source: coqprime
Binary: libcoq-coqprime, coqprime-tools
Architecture: any
Version: 8.20.1-5
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
 6265451f423840bdbdd3781856b0989c5aecd606 3920 coqprime_8.20.1-5.debian.tar.xz
Checksums-Sha256:
 888cf04d06b6d880d1002aab0908a79f691c1c72bd05386415905e6e04936220 996557 coqprime_8.20.1.orig.tar.gz
 a7e8b0c82d7855d051196993a480eee9a759c2eb8459fc620ca00cc2a5c45978 3920 coqprime_8.20.1-5.debian.tar.xz
Files:
 32693b1bb28ecf2a0847bc583d15ca4c 996557 coqprime_8.20.1.orig.tar.gz
 7ec26987bcbe069742cb72b693ba6345 3920 coqprime_8.20.1-5.debian.tar.xz

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

iQJNBAEBCgA3FiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmpo1/QZHGp1bGllbi5w
dXlkdEBsYXBvc3RlLm5ldAAKCRAExTvX/gMFUahCD/41WPsgu3oOMHhZJBj/6ghS
FkLkE5sQr6f/LXiUXlyMgYu2eYwbpdGPHLpRByk/oF0NKct3PAV/LUJ3HkWqsgFB
t0n/A9Od/oI5RF81koDN3sh/ZBD3FBH+wgkoZXT3T4ZjzhzqVSLWERhruStoO2n4
/EYOSzl2NxcAXH8Lu7pcS2SHwiE5RIabt8ikGOJ04fWnEj4a3CwaA0+oJNEFZ3LI
qs/435PDFJO+LYBRqT1FMp/KoBYF91qhIiU34NtGMf3gh3L4/FyegtOhQiUqZKgt
SYOeUuC031lTU36lGu5jir3ThlCFzlJ8qrV/0Hp1HUIBxUnTGWhhv/oPVe6mc9Ph
HWiVdDjMFDB/WhF3jnimxPl32MsrfY+k++sUZEaVbzOsU2yllii2rD2rv52+EIjG
QYKH/9pT+NCTwmnWbZrlYUy2t2J8F+MuVJF7sOffsew+6sjRv/TyvvfaJyJO+b1r
2UtvErDfqtUyvfHSW5cMOyyNU6FSJ8GpCbv9QepxgxCjztj8nolSidKWUojHb8Xb
aVtESSI41/fY5Rk2j1UmSu2aO2+kvvTRVGyP8gsXzcc2a3HmpHMBZizB2RPlOeSB
TNyvlQw2w1zv7hUbT/127AS5ramKRQkcEw6S0RBtKExWLFEBs9YKNw7i/YLmWz5Z
jL5XEiCNwU6Y/MC9GafzLw==
=4yPZ
-----END PGP SIGNATURE-----