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

Format: 3.0 (quilt)
Source: coqprime
Binary: libcoq-coqprime, coqprime-tools
Architecture: any
Version: 8.15-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.6.1
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:
 54268a36f46073d12733b9ac834b02e529b219c6 987167 coqprime_8.15.orig.tar.gz
 2fa1e0a5490870130b907df871bddf001bac0b43 3576 coqprime_8.15-2.debian.tar.xz
Checksums-Sha256:
 36dfc96d42794d44e46aa8e66a58f614823eee2fce1e044e162f2848f1895ba1 987167 coqprime_8.15.orig.tar.gz
 b9a7d07e3cad92bef068d73c2689745796326c7b9237ff2c38e123975d588003 3576 coqprime_8.15-2.debian.tar.xz
Files:
 0dc627139bc3e53bf5ebfc0a0803e216 987167 coqprime_8.15.orig.tar.gz
 a06b866a43f26971f678cdc78e3c5923 3576 coqprime_8.15-2.debian.tar.xz

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmPRHasSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRSCoP/1G9GJzIIHf1NqafjKgWRmC1ADVKCS6c
NPhM42wfjUaDkV7FIMM61B3RC3BqLYgB5YaapMgEwVbARvGBz6QSU9gr4rlO+z7o
nM50XASkBLhtx0Vcq/9NFnoAf4y+M6hQpsAeX4jjppH9EvI4ABo3XrDUtISw3X2q
VXHsBV1YHy+dBpMmMBMP8kTMEXLUWIZBctSYG14GTQg2G/raj08cNnlEQzvs7msw
9IEXQttj3440EjR9+jdbEylqP2E2tymtYjUu/MHerQk/hJerOKwrHx6CM9LL1KQR
+g7qXhQAP7mPjLtwvV0NUiL4aFdImonuOxeJMrE7pPyF6ZprZBrXM9UJNHTTxNKU
hwcwjdFDF+Nf3Q69659GZeOjLUa7DgVEcP7HpRGlzcV0rxqNYOsGNFmJXmNiSBiN
mZTAMWip11Rc8wqRJYqEYkel1OKUpyzcGQhuFgEY9BVUBpR+v0rG/x/2frZYkNh2
H+Pz1pcE81zr5K6Vrf9Dse0PKYtcrn8/G0Z2EqyU4IpXakfvPsua86sAVeIVL6Sa
stPIFgwBZ69CdmW9yFI+kSPPOCbT8YWd+V6inRPxN2EjgAqxFqQjkNwIWFLpP8R7
1+qQvDoDGRWhzd4CSLydhORL/OBOyx83oaAT8/g15PA4w5/DNZh1Rdlp6k17Y7pS
tyRPuTIC3Hhj
=wWCG
-----END PGP SIGNATURE-----