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

Format: 3.0 (native)
Source: dh-coq
Binary: dh-coq, debian-coq-tools
Architecture: all
Version: 0.6
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:
 9b6f4e088dbc758879bbd84ed4a9c4159989460c 7608 dh-coq_0.6.tar.xz
Checksums-Sha256:
 aff56877ab8b28c97bcff9c3d73f14543c26378e53377969fcb33e4ee753d897 7608 dh-coq_0.6.tar.xz
Files:
 d6e392c64ae644bae75b911f29a79741 7608 dh-coq_0.6.tar.xz

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmSUEL8SHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRzpgP/0r9rKnpY5eG+Mu4vHxsdLjJVu+e2Fsi
NpsvahIgCRHqiqYnP5wqe/YKzxdBcmG9L2iQT66OmfuEzC8XJF19UrOcTfeGeJ/S
YgMX2zVVeNuMnxzZmDPBmCMrDbiE70P7xNXu6hYrbdJcARylJFlAgf9aBcYqjfQn
lwKoO7jlseDHgMDL+HRHheiSfzVE+MvoHxwhHlWcAErftik5tz4iaXmMAPlsU+db
WfP6zO9jTW6x/jyzCNjaArLFmnttRJ/ZmgMa6XTyuZi+0E0Lk1vKyA4RpYpEvjw0
feiuom6QRqcRCJIqwnW1n0JGzC0yJzcP1+LehmdAHmJSmynyhSmXcoq1ys65r1na
jhgAXM/V4/jAdlfYC41+W2/zta7W56iP92Mg8FTLsBbAMZpwkgLIN5ihQIHQ/4Ht
hEDcH6KoRj9vF3w5QFh7VHsJgyP4rO1UFUbzyd9S/1g37zK93ERKvgtIO3LTt4HE
ZM5fay6bK4JpPtemjgRq1cB5BSbdWweDyZstnbZXXAU99vf5c/4Woimt0ALVmGqz
HP0mE89XkUtTejmV9WQIHcoVLKMBsv3lNOQL5aCe8otr1t9xwAnncakjYfWg/31R
IdMoy3iyYuakqemNI0tDpvgyqf/88O580wJ4SRaBfyuMIkJ7DFJkg59+ZG7v7D20
BkUvW4Deb5Ps
=vrqv
-----END PGP SIGNATURE-----