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

Format: 3.0 (quilt)
Source: coqprime
Binary: libcoq-coqprime, coqprime-tools
Architecture: any
Version: 8.18-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.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
 c725a5d8d1d90f86c240277355590070200e39b8 3288 coqprime_8.18-1.debian.tar.xz
Checksums-Sha256:
 dcd1fa5cecc99ae62cfa1c9c742a444c1022560b6fec6b06989b9d7f2f87c6c2 996567 coqprime_8.18.orig.tar.gz
 f948409831dda1bfdd2f4062f92546ec9ed26f6b41b0e38094cf16393444525d 3288 coqprime_8.18-1.debian.tar.xz
Files:
 6847c2b5c6d95cc0d4afb52db99ae794 996567 coqprime_8.18.orig.tar.gz
 f781eb384b89d1ed9c6d0763c3dbcdcc 3288 coqprime_8.18-1.debian.tar.xz

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmWEZXESHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVReLsP/jn15BHikznHcFBWl2wVDfuw9G69FfHR
IbS4Gtc8TQDpF6S681Sbi63QvsxhUq5EViub1DcqEbnCqmPVLP3y2xZ/0f9ufwVB
GDg+HyuAGwGEjKTLvBcJ2yiKkWuWvOyh8MaheqzRxSWbyCafWsIbPSNhfVnFSWBH
k02wywiNFeysnAIoDC13pMy8+UkaSy7bpC7iY8nfFP7wnGHRtTQrwqTqKulBNlJV
wr3X0bFpjqaGEW3PeEIDgWvErsbidOSH+g+dOFQA4078E7RHGIKEo1+cYSIscTKl
SLVXttfBswWyNekFoyQXBLh2gbiIvXXqDAIfPDe+52wEuTdcZX8aoItVWFyKL36Y
j6L5K+41xGEtmKJWxDQX1wWp1ipH0gK0UlWKe+kdOzJ8HwGJa+vKqQtbJecAmfwH
SFqzblY7VkygDMuJJ3USUvhU+4asroE0al6UToJwoNcYUFJy4G3y4frpZnn0l5AA
vf9vJ2jLEDeX/Y90YpBAvHzjRhy2xkcuQE2sMO4dqw2ssC7NltD5GDZxepEjkn9w
7LnFg4klCa3xJIuW+AJf0EWMf7oVtJJGbbmYbJu6URBzXVOQIMh17tzJk9Ot4Uij
J8JK9x/glLUX7ShR5V6fdQKe3n9+/61u9zIuCP5oBT5hP+MOplHTyGc8WyQLC2tm
NeAdfOwoA1Kn
=i7Ml
-----END PGP SIGNATURE-----