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

Format: 3.0 (native)
Source: dh-coq
Binary: dh-coq, debian-coq-tools
Architecture: all
Version: 0.9
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:
 71d27b40629a8318b67e157a54e050e1058c2883 8532 dh-coq_0.9.tar.xz
Checksums-Sha256:
 bcea7a6538cd7c6bbfd54bd95565699ce3322e34e1edcdcfbd5e15c6857d16ca 8532 dh-coq_0.9.tar.xz
Files:
 0d78f8f9399af885aab69c1d066d4f7d 8532 dh-coq_0.9.tar.xz

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmZauLQSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVR3FoP/R+D7fzSFZDCMb36ZMLeUViaCRA0Qz3i
HqyKLk5yHoQJkaMUbBF8lP2rI9VptJYpS++wyQdAEItWLWTQRMFXNbSPptYk1/T6
KcssYVMM8FtFwBR+zH9TW8Zv7k7o6GWD3A5eVPEUZMApJ9bkRZXzFd3HhtDQQcrg
R4a+OvCFinr/CP4Mds7yCwmTtdrVUJ4VVCYBoz11aYAWAS8rH0PJNcJ4H2W//GUm
OIbos7+JOETxUJKyAjssbtTQ/jq13YeA1FjQGsKfjaHbl69KCMH1Hj9TyGGKuHEK
2Jcxox0ZTtsqbty0nHKPnlWl09+OvSdeKD0XdbvBiop1Iqpg3RUGijDf5+4kUuxX
VVQOg0RzjoTwOzPl4yy7M4mUnubdFeizs1FyMt6NDwbM/dWf6v6oh1h0Qcabm1r9
o1KAEcL7q+Fe/U1Irn4ntQHh9yAA0ong0FVbeIMsx+cYH5a7vkEbjJ/YrVaDTzhl
NYDMWp54qQFdBtfSj3nhy/dKKXMusMY3fGiTrukRhoSf2a3sZumDGmmCEnM0+/ab
NKSLXGtwCvkiasgDo6Nkut5IuFfi14KyMi/unkLSNbXypdvglz8fhDlVbTdrLdXb
/SG7s0JH+j5SbnHz1UKow8X1XGeGBg+pZ2jcbEyaLxjit+KP6DVkNq0sd5/GQiE2
ugzqD/RI7xXU
=PgY9
-----END PGP SIGNATURE-----