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

Format: 3.0 (quilt)
Source: coqprime
Binary: libcoq-coqprime, coqprime-tools
Architecture: any
Version: 8.15-2build3
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
 8ce5abb71c849ebe48e2e44ae7c28b6d7705fd78 3680 coqprime_8.15-2build3.debian.tar.xz
Checksums-Sha256:
 36dfc96d42794d44e46aa8e66a58f614823eee2fce1e044e162f2848f1895ba1 987167 coqprime_8.15.orig.tar.gz
 e4d30412fac0f7883cf9aee6b774db286f2867ab3fc4a851cfae041aa7740968 3680 coqprime_8.15-2build3.debian.tar.xz
Files:
 0dc627139bc3e53bf5ebfc0a0803e216 987167 coqprime_8.15.orig.tar.gz
 0b2c15716badba438d7965a374d56be2 3680 coqprime_8.15-2build3.debian.tar.xz

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmSILJoACgkQ808JdE6f
XdnzdxAA2RP9mFXsBbaaH2DvF+oMQwy8zVSnk4lp/v7ZFwXMCLFB1GZjHJozomxn
XD4kNlsNGJFxU+JGn73tRf9OUv7TF5sZs7aol9VOfuvjh9eKVTLomdPLwb1/PKAM
APGlvW54N5o3ucgcFVBVNwgCkmV9/qcGfFZND2TX2AI2ol5hgL9Rf7r2CQsdCwXb
zmNLQfpRCdMuXPtzUvGxqENNlwZmYjq7TeqlSN8RWrLFoKmK1JyURIzcqT+dSeT6
tpJH1vA+4A+gRRJDy23sbvK5Al/+v0IzfwpwvAjq9KzJ+FGvhr7j1tHtdnNy9fav
sU5NlKnLcIcGdBsSxDfKDQCNSUuNqpmT5gekP3TeJBRj+2IuRmpTEJLpW6lzk+dO
0NBBwqlR4MmYtZNbnQScKyMquvoOZGkfYvNotoAbPq3YZ+J/f8FCN6vCcUqVT4w3
vAZdWO4nTKyrTOB7cZ7unUljgIpWXSxj1ZuS9TnkrnEIU1JzdZD39kJMhwBYFH6z
acWMdf1QPudzLNDgQkgDyqKWSPFW0CAuj9IUfglMQtUlX0GV+KdSNpBLxVh5xYxW
U7fRWUiH9MncFOs7z1t4O1S0VSYky+lFhiKGDrHQrBy4TxiLCXV45r8RjFE75a3N
83UfK3FMcpoDsWzmVx3Itp0Ck07mBzaNqX2iF3vYnVih8JCifnU=
=qMBe
-----END PGP SIGNATURE-----