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

Format: 3.0 (native)
Source: dh-coq
Binary: dh-coq, debian-coq-tools
Architecture: all
Version: 0.14build2
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Uploaders: Julien Puydt <jpuydt@debian.org>
Standards-Version: 4.6.2
Vcs-Browser: https://salsa.debian.org/ocaml-team/dh-coq
Vcs-Git: https://salsa.debian.org/ocaml-team/dh-coq.git
Build-Depends: debhelper-compat (= 13)
Package-List:
 debian-coq-tools deb ocaml optional arch=all
 dh-coq deb ocaml optional arch=all
Checksums-Sha1:
 e5a3f7b277cfb852111f463158ce9d2efa1046ff 10780 dh-coq_0.14build2.tar.xz
Checksums-Sha256:
 489307ff99ecafc3afd6b073ae9be585ee9ebc7beade7d7093520b4287bb788c 10780 dh-coq_0.14build2.tar.xz
Files:
 ba8c10282819ff57720c235999740ce3 10780 dh-coq_0.14build2.tar.xz

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

iQIzBAEBCgAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmpFRsgACgkQ808JdE6f
XdlUUA//exsoT3LTK0+He34+3CvdzsjsrnnteQG9e5XX6s0Dn4HuyAnIrQLqwI88
90jQwfhaxCdPRsuuu2ochZQQfPgfUnk3XuCkBzWeNXuEu+tbK+PDjHh0U0NIXg6z
yrAyWrfkmQ3iU5m9LdOKning5Pw1H2sF3zqM4bvOj+/3EQHUuT01qYmGSP2gc8P7
pLGNZhZAJN+1A0GW7IHG973rHCzhcLovsT3sYMbqZKigaleOI/7Bgm7HBChzzahR
J+EoanrAW56QExYxTHlrWfhQCi8++sKrTWZ6yuUersqAYHX0t+HnD4cIVu6lWRfq
2g9t5LToqZITYouGf4xy+Rp+eUONu3/OsN5tgO+sZnQJTC54dzHcaLUS51xvZPuc
gXX1wJ7CCgZv6ORgWxYjufWXJwGjz0tZppDytnH7rFkA54T2rOEJE1O0dI3HndaB
HTyl6+57BD1fA3rlkT7i3RIZvSdc03gSb5Mwvjz6NHac7dYaGMSS9yn/88N2b3lL
BGSIWqEndRKgJyQGHXeup2m1MWQTyjIcB/lWs/9tsKMv9WlTND6zfZ+aDdUi3VNO
v+TVZfrddA8+p5xJk6JAd6OGrhn0jOGUCYsgkt/cZUSHjNpqBUDy8epXXQZAAXNJ
SqalELTd5zmqX+EsqCEsBBTCxNTg8e6T73FcaV10EAsuHXkBNrA=
=Zp7v
-----END PGP SIGNATURE-----