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

Format: 3.0 (native)
Source: dh-coq
Binary: dh-coq, debian-coq-tools
Architecture: all
Version: 0.13
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:
 9f4a552d618a632bce3d85e9df958a9b49286a37 10428 dh-coq_0.13.tar.xz
Checksums-Sha256:
 288c4e2fc4867e9c27b9d51d604bf4a8a070de2160b78e5aa9ecaffff2fdb1d9 10428 dh-coq_0.13.tar.xz
Files:
 f8f4c7149167c014104a4fb072e3bcf6 10428 dh-coq_0.13.tar.xz

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

iQJNBAEBCgA3FiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmd5G5oZHGp1bGllbi5w
dXlkdEBsYXBvc3RlLm5ldAAKCRAExTvX/gMFUYKWEACR+lQAOVBUH+sRAsdOqXn9
m5PN45boYexl+sLtR4++bOrd3gUZ0DNw07ov4MAkQCcnoVoV7VPNmGWHdZToLftP
DfiEoW7d5QD470ectWdcMMTSQsrGTjE/CdeMK6ZP4SEARPcoomDf5cP89J0SejTr
LQRjJ0GBdT7YnTQ8V+oeSjDIeXgD1t1gLESLmCU64m1ypvRm+hV4iE/46QJRLq0n
n03lz+fRreosRwbwt7pTvcuzfiA58l1JcI3H8bSMjSeg0NxcVsrFI4qBohspCqK3
Z7fPQsunXGgb77SJ3eUEcsz7Zh6RRS+hMY1QyVIJ0IjzS5PZyAsi8wztMAYEBRNc
B+uBJmOM4FApa03/rOPESsnQ8df4FAJtys4qkyhsTEhgcMOBz3iHOUb3Zg0Z8mmo
41+4E+VBwhwWIL1wiE8aQcWu9+ZBJ6s5N+7QhRwVmsIobLqVbdQzAHg6hrzINevu
DZ8O7RA1x1PlH0fRru5fOCz4HRW7MQ80vVOrVIgaYgohzuLRjk3j+rz+FmhyBUSU
bghRzz1Xb8X/W8zGyUQzf489r4v5HvFb2PreiBOERZe7GtEHjk0RHQ8LtsSjBSbZ
pP2dxv6RpnzIzYB4ekAwYWAVz28XfZsZNOcQh9haDCNqenA6cAd1+Zexas4JS+Hl
mVL5c1Awo1cykvKjWB3MPg==
=KX3X
-----END PGP SIGNATURE-----