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

Format: 3.0 (quilt)
Source: coqprime
Binary: libcoq-coqprime, coqprime-tools
Architecture: any
Version: 8.15-1build1
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-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
 90dbfe75d495d9fdc2c1d66beeb633bb7207a340 3600 coqprime_8.15-1build1.debian.tar.xz
Checksums-Sha256:
 36dfc96d42794d44e46aa8e66a58f614823eee2fce1e044e162f2848f1895ba1 987167 coqprime_8.15.orig.tar.gz
 55194443c0b12cda27839cb3606dc8c8ed08d7a3c977bfe8991195f6a9dd1afe 3600 coqprime_8.15-1build1.debian.tar.xz
Files:
 0dc627139bc3e53bf5ebfc0a0803e216 987167 coqprime_8.15.orig.tar.gz
 a2489e39a44035da174a43a9515dd0be 3600 coqprime_8.15-1build1.debian.tar.xz

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmOBBfMACgkQ808JdE6f
Xdm9mA/9GIA18CdDqla1egIaz0U3SCAI4NFpOfb7KEVYN8rm/Tj7bIySb/yljZ5r
sTr6X9+Z0eAWrqn45FmgyfdVIi5uVSF6lo82Q+3RPKiwToudrhMhxQNXLCUfDOBb
0Ta2U5pMyVtSG12kTeXHwlniYwiybhx093z+ZoPJO2P14oksrnF3pSdooUyrbeVY
gBolNFerplgpVsK8feO4tCY51PgQPe31mHSI0exRv7Tt8a9l3emQpPHkqmNnkH1j
OWdi67qcYWY2uU225m3DQAragS1wsO8ZdyXzyHXrWH9rLlQyzRYivwSOWfG+B0vd
LFrd1gGXMp3NuCZfCqMekDVLy6Y6bZ/HslLe1gROKkhj8H3gB1UUfrKAfDqRYUu2
cKdQ7htWzGrKUiNe/fVSnDYBYuMYpJTVYLUuAMlHOC4vxVRxFmpSwqw9zIwm7BLr
QFtjZW6l5BcwLieH58rs/bVZcprZkCU8LlInNXmEIcHctDb7fryoT+jJAodzdhA3
JnMvmm7+uihXcN1CPW+YzhU2GfuhbMLfsJc/B0cDP1K62rg16NynnaDox9OQkb4F
C5wowWkFs0uNGUlda87w/jPhktqhDaxtcG1gv2WIZH8TgQ7J2StUF3izD7KenSTJ
DFzbL7uonzaBdKcSk25D0+1Uh1/Cg5Ytg7dn8uIlFRMJVL58XWg=
=5MFw
-----END PGP SIGNATURE-----