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

Format: 3.0 (native)
Source: dh-coq
Binary: dh-coq, debian-coq-tools
Architecture: all
Version: 0.16
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:
 6b073826801692db7799d8d4ee266e69be38a5a0 10868 dh-coq_0.16.tar.xz
Checksums-Sha256:
 5f2167b507e8280c4760b3109b934cea0aa98f8336bd3ad15e4342676d611287 10868 dh-coq_0.16.tar.xz
Files:
 ec5df05f13cb78e300d71256cdf814f2 10868 dh-coq_0.16.tar.xz

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

iQJNBAEBCgA3FiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmpwtvAZHGp1bGllbi5w
dXlkdEBsYXBvc3RlLm5ldAAKCRAExTvX/gMFUV5/D/wNSJjFEjoDQ+wP0/a+uyBQ
EWaEjJFSiwzDq63AD+vppnVSd9t2DOD3drMc1vpXBxQqu3QR2l9yphByDKVdcgW5
SopoioblPuBiWN4m6bRdfO0xL+LkKG22fDghGxQsQS80zUA7WwMLcQYtJeZaaM7b
7bjE/u0uAzXq2vxvW06/h1952yiZZw5Kq8qZ1x5YSrLSIkkp8XqiLv4c6V/9QsF6
toZHd6C4G4VVEhN+ClvRlx1AdUI6XcUb5zD4IGPrtxsSmZ3FAue45rmZFUuX/duM
aDEEF31TxXSkkGIRthlYcmolDMSndjaUyAyOnFCSPKyIzSnqFo4NPNxoP4VrOQC4
Mra+IZjE4324ujxCucHeGUEZdXZQ9i6GKRQMGGZxxmXokP8bl/GRuLmIebFjQwXx
KRrQz23buzrfe95x6P8bwQGD9x/YNhrNxPMmQN3WLa8WPNejDePIDOgwzHyARvaS
ikz3LlDEq9JZgybJdgVoxkjWvp61xCNRJEcYJcuLuqGh+GXS7APuvIHwMlbov0QR
efaMfks8aoAnVr8zziGmDi7eT/BjMzGOxGVVlYa1laGZwvQnxGgGfsJxNAProJ7P
1Bar7eY8taz1SS72zhxfzbmGFuJFitaGzngOSFV5eLxe7o8iuIUOjqBkiN/ZSQc5
E2mnHmSwNI2muZQBuaUczQ==
=6ryH
-----END PGP SIGNATURE-----