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

Format: 3.0 (quilt)
Source: coqprime
Binary: libcoq-coqprime, coqprime-tools
Architecture: any
Version: 8.19-2build4
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.6.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, libnum-ocaml-dev
Package-List:
 coqprime-tools deb ocaml optional arch=any
 libcoq-coqprime deb ocaml optional arch=any
Checksums-Sha1:
 e0804288ae24fe2c8c231430428a8b5cc4dcb40a 996563 coqprime_8.19.orig.tar.gz
 386ade3197ae90e9254f263be4304d1babd0b7b8 3600 coqprime_8.19-2build4.debian.tar.xz
Checksums-Sha256:
 bc70208f591c3f4489fffad3ad58d3457e8e0abdb1894fc84383c957f1c0918d 996563 coqprime_8.19.orig.tar.gz
 078b441eb71b84781243a04590052ea3d7956562466acdd9decbf2674805f749 3600 coqprime_8.19-2build4.debian.tar.xz
Files:
 839f8440c7c1b952be0c806d1869a9eb 996563 coqprime_8.19.orig.tar.gz
 ca3a73ca9a7d4968e320928340ae7e84 3600 coqprime_8.19-2build4.debian.tar.xz

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

iQIzBAEBCgAdFiEETQvhLw5HdtiqzpaW5mx3Wuv+bH0FAmc+m58ACgkQ5mx3Wuv+
bH28yw//VW5nbqiQWZukuGPI+oNwbbItcmNd1NTp+HmxX2ZAvbjm3o8xTTQFt5De
TzJk/GCbqpZhmx9d5C2w6hdjeLRWPeIMbNYZxBnMcndOSDN2eaqVEtDfavzlaBaU
GUQ3WR4TaMsSTi8KGh/beGPYytJsAvQlbBnIU9JBCx6WSLpm7XLWXpMHTeBmpVMA
nqtEpNxLRevuYepYiwhxBnInc1GQnPbr+WvuCD1VXJTgP+/6YIAl6NJdfe2csP+u
jeHL46bY+8h2P0mErMZkGfwc0jpPX+mgIhM4ZTMumysAppDCGCTx00GASZj9EYwm
Ea/sfPHEPcNrFZVNxQVTNIbrR63Zg00pEP6a6Q6ac3v0Fvu+Gp/3zetEmJHNCFsI
xWo2tp1/lgrunI0qohWB/J0oJhuEPyKz2u6VuLTItFhGjQEgprNBY2JBrRBxVIIL
a6F9+lxOIlqQLzn2tv+cfywhHPy8amfIFUbgEy/QQlWf33M8XIXIUo7+xiudNrme
THXowvJfAED4MTY+WIjo97igVBN1R2wZRoDfnk3TpdLre5RCeArfsxkNqdy2/LCq
fcLgL6Ud4oL6kM3zhMOrT+QJmmsdUIhLB/eP2uC8r+rYW5P42DUeFxXMcFWBsazO
6bTbOcgkgt1KGH58DUZ3D48k+vOwIy3RZ492mV/YV1mSWe/L7Yw=
=E2kj
-----END PGP SIGNATURE-----