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

Format: 3.0 (quilt)
Source: coqprime
Binary: libcoq-coqprime, coqprime-tools
Architecture: any
Version: 8.20.1-4
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.7.4
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 (>= 9), debhelper-compat (= 13), dh-coq, dh-ocaml, libcoq-bignums, libcoq-core-ocaml-dev, libcoq-stdlib, libecm1-dev, libzarith-ocaml-dev
Package-List:
 coqprime-tools deb ocaml optional arch=any
 libcoq-coqprime deb ocaml optional arch=any
Checksums-Sha1:
 8e4f3c39e58425290d106c23d76ccab416c6de35 996557 coqprime_8.20.1.orig.tar.gz
 94265496befb42727f8c51b4b637178f442ce653 3900 coqprime_8.20.1-4.debian.tar.xz
Checksums-Sha256:
 888cf04d06b6d880d1002aab0908a79f691c1c72bd05386415905e6e04936220 996557 coqprime_8.20.1.orig.tar.gz
 c5ba75bdb99dc1322e9611b696a6296b3d5c83b80402226100818ac11ac456ca 3900 coqprime_8.20.1-4.debian.tar.xz
Files:
 32693b1bb28ecf2a0847bc583d15ca4c 996557 coqprime_8.20.1.orig.tar.gz
 fb8e26be7d606b9a80245744d6d55698 3900 coqprime_8.20.1-4.debian.tar.xz

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

iQJNBAEBCgA3FiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmpRKJEZHGp1bGllbi5w
dXlkdEBsYXBvc3RlLm5ldAAKCRAExTvX/gMFUSZqEAClWLGwXtXXoChHXrccy12U
q0tf2KT9f5PZUHsMj1KObNSxzWmCIo+Ww94tayp1PUGpwTE4P1QtgP/q4ml3ploz
juKIhNiOFT+8qVNPM42jFoK7ghIu4sxqJ9ZIHSw4Ji5PTMGAONakp8wDJ/nUfP/T
Jd4EymadTXcZs0TK0a9yDRb3ZUxWwunleTHvsWrgY1FxGCUzlHQcH5lPmCvxd4Vi
Y8yuyIXLXo/M8kIbQzJ9m8B84E/PiXor8q98Rz8DjzlxQxNuwfkkcXDH36IcmBS/
d5/4S+SXaRVDjByPndAfoB1/n5zoN+KumV5pLnjlQZDTgLCJriZDRaLukwadA8dL
mAGt5VmlObrPIqcY0L7CZWVseAGsrjR/I2382S2kRTibDh70h/P51DrHsUbPFvTw
s6+06ZtH7veUy9MDhwz4AuU2PZ92+0AIgdonY+ym7vKq39i0scwSA+lkwXqYRYSh
Z2V/9a8psgqi4tb8ml+pR4TpzkEUbgw1WiegO3ZIOH1HQMcZEaRFduO8fol3g7ZL
vnYfBcUrh0vflVMePxSuCiDCpUrMN98D7LXGmR+i0l6lLxtU7N4odiibRVXYxL9x
D4oeo/XRSzyv7GJVp+tv4dsooe8BmrJvIoaFlkqVMn1JkIvSc3xIW+J1Ix2OvdLH
YiMzMfpOOwk4MiaydIVUTA==
=nEf7
-----END PGP SIGNATURE-----