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

Format: 3.0 (quilt)
Source: coqprime
Binary: libcoq-coqprime, coqprime-tools
Architecture: any
Version: 8.15-1
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
 e1eecfb9f414737f80885e970c8de40197cb139f 3512 coqprime_8.15-1.debian.tar.xz
Checksums-Sha256:
 36dfc96d42794d44e46aa8e66a58f614823eee2fce1e044e162f2848f1895ba1 987167 coqprime_8.15.orig.tar.gz
 1111e847cf66800406ab3a54b4d9f20006d34e7b39c0619a7438f7c4a7f476c1 3512 coqprime_8.15-1.debian.tar.xz
Files:
 0dc627139bc3e53bf5ebfc0a0803e216 987167 coqprime_8.15.orig.tar.gz
 53d99f6f915001c4db4be087d0cd43d8 3512 coqprime_8.15-1.debian.tar.xz

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmLRJRkSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRLJkP/iH3sh0RO/r3HvFOi0adW1t658k7Pmni
IZHb6kfFcLmA81htF2CoOCJfyTiok/xsob8Rs82PUuzbTMjShwMZSY6boj0x5RDk
3Xe8GETIUNYtJ4CTyw7kRUZzQhsDXEyMupkXETgZ/JV+yjKZ2orARVxQTMbHLmZ8
ONm8Hasuy/tysnWZXrSEgqY5GiBliZLfUvKv5cYqB5WxFJUT5wzbXt3eiDNZd/i/
DSovK4U7Xqq7+b9XCoAEvzdXjLFMJy9XUoZNitZRO6KFuoJh1NOQ9Bi7eo1ZQq5R
Dh2D5/61rn6NGJ1ZCo5kqJVsw5oIJYpXNkqQ56TAuIgO7AU8sZTeFpTx30BTNJQG
V6ka/iY5llfs15+bgKmq8p9nmJeEK6voSRA7LveddeL4t2AfRqXKixpCL1vTbJYN
xrjBANVUQ3lLgjzJCbWRZtuIh/Tl6v20T0PzOrLuXudoPKuizaeTotSCKuzrnzUY
OR1jLymqGH7tJpylAY+GzqqEZ7q4cUflZ3E4jcy1KrBmt/dKcCn+9HdlRBjPFEZo
kHsfUB42quazYAvzGfIgMgp8hj9tmgh45elx4OK2okmZdM9PQO0GqAeWYsucOkdP
Uv/YKTXLmBFFpxL7uxwmq5hNsrn+/KHnLmZWokxPnXAJ+tAiFqeP1LkYO23xn9s4
fPnYzcndi+KU
=s72o
-----END PGP SIGNATURE-----