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

Format: 3.0 (native)
Source: dh-coq
Binary: dh-coq, debian-coq-tools
Architecture: all
Version: 0.17
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Uploaders: Julien Puydt <jpuydt@debian.org>
Standards-Version: 4.7.4
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:
 b07192d9c5ba0c672268f75fd702aae09dc64e33 10916 dh-coq_0.17.tar.xz
Checksums-Sha256:
 2f51fa224d04deef97940bc4404a60ab1ec72dab6e8ecbb348a886546d7993eb 10916 dh-coq_0.17.tar.xz
Files:
 746854a7e9d753eba8c61373ac07de76 10916 dh-coq_0.17.tar.xz
Dgit: 1085a9df45b792bff1ef05cb34476ead1515b968 debian archive/debian/0.17 https://git.dgit.debian.org/dh-coq
Git-Tag-Info: tag=266205c335e5fa6e14387095ea4209b53fadbf56 fp=6de24e97eca886cc56e6250e21b8eef1b1893081
Git-Tag-Tagger: Stephane Glondu <glondu@debian.org>

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

iQIzBAEBCgAdFiEEN02M5NuW6cvUwJcqYG0ITkaDwHkFAmqNgo8ACgkQYG0ITkaD
wHkpIw/+LoX9TObD9dUsvk/H+WXiGT1f4hoTY2ybYyPMqz9DN6LiO98JYo7IOPVM
k0cck8rv+Dgb2WoZsA8WU15EcrJUSQkUCO9s7XiIx0acigQpvXrS7dYWKADum2X2
da/NTFdI1kSbA1t+c2PbA2OI4wCGkOlB+t2MY/mcP0gQcyEBdgAWfGRwbUZa0Px9
MoELWqaFoGllKafip/dBaWH2FjdJxmz6CIDnkUBBytV1uGJSCuQChu+kAFiMny5H
sD6xzdYypobYuscqdymVEbZYDojBSOcfv9MT1HzFa5erjr25XxTAsTMMHexIeSYc
7P1FcRrMG16eNp5dxWY08C5UsuTJT8aQ7xpcB5l4h64Zwfxnq+aFc5uJH7fxtoRS
rXlZ4V2lmWPzqbCi6nNdGcc4fq1918J040SX1si67LCsXKCTKDOJToTPOCSaG+6x
KQeM37YajUTiV1nyjFwrAMquXDh8+fIBzgv2ImmCYIfjG6YnCePBU8PbvGNZK8gr
HDH9X1ESXssozyie9hw+VIYCDzp9wTKwi6H6NdW8KRpGYncVEma3KRDN+M6ufVv4
e3fsqf11kCjIUZHKPkYt7hkRb9tK2Tz99M7Qg26XUIibNJWX2C6uZqWZ7sUxm6sk
UeDXD3Sm2T+W4p45M/jqIkfR82nQVpK8dnBvbcgFJb4a79C6xkQ=
=geLs
-----END PGP SIGNATURE-----