-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256

Format: 3.0 (quilt)
Source: coqprime
Binary: libcoq-coqprime, coqprime-tools
Architecture: any
Version: 8.15-2build2
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
 7bc2be1348e7da813984ac9f37deabaaa6a0126e 3660 coqprime_8.15-2build2.debian.tar.xz
Checksums-Sha256:
 36dfc96d42794d44e46aa8e66a58f614823eee2fce1e044e162f2848f1895ba1 987167 coqprime_8.15.orig.tar.gz
 15857091e9fbf9d99c1617dffaba594960c411f8545e72e5a4f9f2d040648332 3660 coqprime_8.15-2build2.debian.tar.xz
Files:
 0dc627139bc3e53bf5ebfc0a0803e216 987167 coqprime_8.15.orig.tar.gz
 e87bd8bfd6f162f336fe0144ed1ff218 3660 coqprime_8.15-2build2.debian.tar.xz

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmPvJ6QACgkQ808JdE6f
Xdn5Dw//SZJ7jqSSaIZeAQxFctSdsyb3S4MGDPlv9GrO4Hk9y9hN+kiz/IoHE8o/
BvJKZyL8Jtp+Tw0bXOUNN0IZtMPJfCUihE3yYkFt58Z6xf4tnpkEiR3CCIuUZTQC
H079q2GVrQyQWtuI25+HaQ4+OAm3Q2gGMt92jy7H+ySheoP9kIPd55NSdBM24qwI
bYIFJbvMDm+futpWeZ5LBgI2KUILQLCbWJWsfZBvGoh8DYY8l5w557lEpeecxnWt
fTqFObu7Kq4xB2DZSNngvQM4WjLOboOcOo92A0GFpC6R6A1eFBxeZIag73OgBODH
ZXmwipRtbt89fCE7b5ZvkIbWckKzyW20ZaRL785NXYdicN8yYy69fnlofSeZO5NX
Agh9sIm4+VrVz8KESZyY8gNilkvgrbdIE3IWPRJdZDvcXJSkQTzjYkIujgXZIt8s
K54UTJK/dJJOqM8te0BDnkislrmL+I8+gYu3YHNfj3cuqVq9LTk4q7UYASMBYsG9
gAthm1Qzvtkk6r9VnEQQQA8/FCNmZ1yp/Asry2JMrf0VrjLW+cJuA091BfESUDbh
WXO/1HR1hsvcGC8VWE0o/P7DP4+4sudDEOKeFAO7n/++wqNR8zh8FwYkKbaQ/A5k
hErmO08vAkeACtN6LPyKmE8+b01rnZs3ZW+K20zMfyyB3IqXgz4=
=OocR
-----END PGP SIGNATURE-----