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

Format: 3.0 (quilt)
Source: coqprime
Binary: libcoq-coqprime, coqprime-tools
Architecture: any
Version: 8.20.1-1build7
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
 ecb116ab0881580c315c0263d8780687012a70bf 3684 coqprime_8.20.1-1build7.debian.tar.xz
Checksums-Sha256:
 888cf04d06b6d880d1002aab0908a79f691c1c72bd05386415905e6e04936220 996557 coqprime_8.20.1.orig.tar.gz
 2955333e8c232d0ca0b48a934993773261de9055d69a7d837dbe3cea37aea25d 3684 coqprime_8.20.1-1build7.debian.tar.xz
Files:
 32693b1bb28ecf2a0847bc583d15ca4c 996557 coqprime_8.20.1.orig.tar.gz
 f906d81be6f0beda23b199e9565bbbdc 3684 coqprime_8.20.1-1build7.debian.tar.xz

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

iQIzBAEBCgAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAml7tAUACgkQ808JdE6f
XdkcDRAA1/i5r5yuRmXdFhR8B6O7navwB63XrinsUaDreLabei+zNnnHvoU8evkv
3xzu/uMdoUk64/g7vswqt/QfsRxKwPuK+uLsKgt4R7OPr8uRWeUVBltyO+9paoSX
DwgcDyjawne+Rl3EU6KTD/XKy/o7PeicDkb6RCvWShbI+NiVaHKtDxd4QjwPF7Hf
qzYMC/Br94AYXesqYtU3RSnifISoILkg9aibHNoXE1COsJUE+PXaQUNsovYZP6jr
5bqaniE2w3b+SQHSu8xNS5py8auf5X7U8gsZDQqsMahu552GbuYvzMvhY3JUef6A
vIm5rLG5JpWYX8FrOvnzAtRL6KQXzpbX3NIBWXTtwqf552ja9LurcRx3pkoR/Dqi
Hqx1X2jZqGh22OdBGf9EtWSqNr6I/OGmWKraCDT362INQBDWEDWm616YoiuHFjqI
mPANhxKoBPRqUnSxvvDksf71UK/xnWJAllvK67j09fw0a+2SfJASReQHrNod03uB
tS2klx4PjQJPS2aiEoNH6bv6ZgL3PxOdBM2yRmnVxPcJoZ3R4h63IrzKRT1ttgS4
9sSddgki+cgENL3iv5sVcHRBY70UAoQq2DrOE19syC7bXPWOfyKLRooAfQw78XPm
6Dujd9MaO0X0XAsthy+YZTGiNTk+Q+WlVBBSK8yM50NSYSz+Fyw=
=W9qz
-----END PGP SIGNATURE-----