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

Format: 3.0 (quilt)
Source: coqprime
Binary: libcoq-coqprime, coqprime-tools
Architecture: any
Version: 8.18-1build3
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
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:
 a6716f56c28860d075782f010d880a5ea480ef73 996567 coqprime_8.18.orig.tar.gz
 2dcfcff6aae8fa57e42291a89545f83a3660a0d6 3492 coqprime_8.18-1build3.debian.tar.xz
Checksums-Sha256:
 dcd1fa5cecc99ae62cfa1c9c742a444c1022560b6fec6b06989b9d7f2f87c6c2 996567 coqprime_8.18.orig.tar.gz
 61972285c575ff447b49ec1493dd7ac0d9dea600b88750fa950e8c186f21f135 3492 coqprime_8.18-1build3.debian.tar.xz
Files:
 6847c2b5c6d95cc0d4afb52db99ae794 996567 coqprime_8.18.orig.tar.gz
 f2cb790d76ea0eb1c834edfdf7c7ac17 3492 coqprime_8.18-1build3.debian.tar.xz
Original-Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmYTmkkACgkQ808JdE6f
XdkXIQ/9GHIooA4VuwUgTVFl6xPIZWQ6/lZunKZ4HK0blE0+2ohx+5V/nO14Kw5Q
hc7PXORBApjOdz6aUePhYWwwHSjj8Cmr1yL3+7dUQCHZF6xPOrZluqn+S+PPhQgd
+ZEfkYG04CeyD7k++z/pbghwlaEwhms62FpUnmuD3w3PXD/XHim4RUtw5cZ21Eyd
pSD+nPJ9tg/85nOnbJ15T43gl7cuZC2lpgqeYpgjw/Ca3E0uSMIrbDQh71pc7W88
jP6lVeAqOzqTn6wOk2jR5882mykvL3iRDxHc6Ou7syZy/aCUF3EziPKtAj9RfBat
DoCPkwHvHoRpunVE4juZvBI2MzgTuklgFfpIfI/Bp/7Y7ZWPMp0fsA+p/qCGbcXd
2glua+SBMgYva0Fx5NErjWeSmy4RJr94g2Z0sldOHayNjGPSDvwMZiE7XcRZe+d8
g2Ru6hDnct3NSez7peempo5pj/+79+4od/Z57XfXtuinpDQhMC2WyvhCXz5PnuQt
4kSfC7P7RoR24hsSh1aeOcMh5QRaf1Bg7B04MgVgilxHkOmeSJsiFgQeZGdmYess
BRSlaou/oPmJHinqbGYAiDRkY2ojE7BdR5zHDDNddilxvpb6F0nTvjPIBAt6zeZf
+5fLDhZDf0SD72CZXfQCgF63SwJHXyKDLkTdUr1XBRCfqiu+kgU=
=RYKo
-----END PGP SIGNATURE-----