-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
Format: 3.0 (native)
Source: dh-coq
Binary: dh-coq, debian-coq-tools
Architecture: all
Version: 0.5
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Uploaders: Julien Puydt <jpuydt@debian.org>
Standards-Version: 4.6.1
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:
d31a67cdaf22b0969d7325df72de019f2a3ae5a8 7540 dh-coq_0.5.tar.xz
Checksums-Sha256:
c1299f565a91f17c2bbfbc372ac88424b7d309fbae94de966da1dce989ebcf88 7540 dh-coq_0.5.tar.xz
Files:
ea81f75e3e536df413d4dd6c2fed44df 7540 dh-coq_0.5.tar.xz
-----BEGIN PGP SIGNATURE-----
iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmNOMRsSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVR2IcP/2M941FdtNi8W4iikrHClJ9PBugzMU04
FJb26nihnmPYOswoUTZF78bLSuE8gjEJl4R65XdEaWs3iy0BHP/v7eHAu/Z5Btb9
ablemzY2QGp3a/H77YRalsJrE/PFsYbD5nmDH9AZ9VFQqtLXx64Zr17q8ywRmc6V
xk4IdHkXaoF3j0KtAY9AMCGmV2t52cTC2n18bsqTRo7IRhGLWJ0zOCVz4MV6IrRh
oPG00psNWq5uk1Vog8LIyXwTWnoasKiT1k6a1A03B4379D4baQkM9f/p4XML8wrR
xUql+9maa94H7S/A37Jr4oHZo1WW4uKdlj0X9FF2DxFV9hdW5XaHTNkTICSAhMko
CUbTxiten1LVsMmhIlSQ6VV8OA55abiruDxrL55ZajsUjvVY4K5cPWGiBZv2WF3z
+YcZKCpS/luYoEjYOSdxhLmvkpKyhbIY5syhDAFrtwi6q6eIvEEAbTRwu/QHKs8P
jgNV20JFK+15fS103rUyv1boxz1BWgXDwTwCO5e60kwvcy/hF8s3DKcf2ncr44CE
YT0ZBqYhe+MTdZDi/jMuShWGq+zixv1BkypnPzGJdPbosThyzcZuo14qFJ048FIX
HBYpDL9Nzw9IaRaQ8qDBjEHWjEDA0Fna3cLDd0Id8g/hYb0OCkiHlMi6wkNGovey
5mLOOpvI9u5m
=aGfy
-----END PGP SIGNATURE-----