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

Format: 3.0 (quilt)
Source: coqprime
Binary: libcoq-coqprime, coqprime-tools
Architecture: any
Version: 8.19-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.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
 ce934c4f87f42c1eebd0f9b26d452e0cd30753eb 3412 coqprime_8.19-2.debian.tar.xz
Checksums-Sha256:
 bc70208f591c3f4489fffad3ad58d3457e8e0abdb1894fc84383c957f1c0918d 996563 coqprime_8.19.orig.tar.gz
 1eea8b4297c00d23fdbbf8dd71ace518e5218d95c075045cd6e31034a0a1dd46 3412 coqprime_8.19-2.debian.tar.xz
Files:
 839f8440c7c1b952be0c806d1869a9eb 996563 coqprime_8.19.orig.tar.gz
 328d46d457e314623ac4f4fb7b68ae54 3412 coqprime_8.19-2.debian.tar.xz
Dgit: f809da62f7840134c7be49311afd50d9eabc88e4 debian archive/debian/8.19-2 https://git.dgit.debian.org/coqprime

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

iQFGBAEBCgAwFiEEbeJOl+yohsxW5iUOIbju8bGJMIEFAmavEJkSHGdsb25kdUBk
ZWJpYW4ub3JnAAoJECG47vGxiTCBmP0H/2mN9gK9CmU+IweNn9tgKVS8e6bKngpr
m0QyllrNi3tkhGsmWVMCpHHe59i7ljPChRLWzZhmHt4sW4X7P8kuBWdxmmLX5BVE
8CKkt53y60kJwpxOLeLSAUQgY+QjaNSNGs49SFBc4/aS7I0h444EW5exh63ZM2DE
yzVHBIIYqpv90MR1qk2Gjtk6JdYmvhLae9PxzsFyzzWAyrKfIaRVsJ1tjhs0YcIQ
9++0foRlAuv21zht22uhIdpTdTYkBaMeisM5UmcdD19+zKAT3nwDhxyrNQ51xcXR
i63tNSITVEUtSsnJhoPYI1PhdL/7OS2SdjNX7mHRL97HIsT6bgL4Li4=
=WGIw
-----END PGP SIGNATURE-----