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

Format: 3.0 (native)
Source: dh-coq
Binary: dh-coq, debian-coq-tools
Architecture: all
Version: 0.4
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:
 7d0b7f024368c4ac9358678a28553a0c5555f7ae 7512 dh-coq_0.4.tar.xz
Checksums-Sha256:
 70d79222333954c101625c98f552b201d526750b3fed4534a6fe1930779cae58 7512 dh-coq_0.4.tar.xz
Files:
 5eae2bf87023ac6fe5f70bf8eecb9d90 7512 dh-coq_0.4.tar.xz

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmM79GESHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRQaIP/jse/pT8hwK1PjOog7pEsbYPztrlDnBG
g7UC/ODbd9eTaD8PwiYcXritfSLaCfuWB6X5dKwizid2CeQryxgrmrITUuukXb9M
Y7Cs/WtsykDl6GaYu7S5bdSmJRlADs8epHthFq7ngqunYwrucAw0Jl49Y0D7lrhN
BKTTtKBDxcbCbIJCL/ysgn2fU812DazEBF64WqQruyc5L1U9Fci1GBnTOgB+ECWV
9U9OKozF3tCKOT/dk7M5J3ErFdSWD7X/4RGfWST5vat4YFvhIyPBvvnblv6tKwHj
+fUO5ClbFnQfzHtMlJTsWhK8bklSLk9HUuU8VSuC3Ql86QTll8zRHjvtm+npr/s3
0Rzko4jH6IYlX+R3heDh9EeRv6d47ZbKyb2X6uknmU5YHgnDj4JWajrDB4E49Znu
ZDt4LZzEfEb+IXgQInc01vZ5ddGrVRCWNLAv/Gvao6RoSypFkTYpEfBQ8mZFfrmL
dhSBhO3iku32qfyve31OMYUn2BoqjaJjEBYqQFCofImSu3RAEXFUepj3b9oo6rYo
aa4BMpGwHV0JcUjg+yMagxkDTPMqRrdhIlerZxajAE3jfZWjG0KqLk6QZAtQTHB3
yjtrJmw9MPGzHHAAO+tKf6rwHCTyPHBIj6qH7Fcw7zUW0lvWof22sc7oLwRBczNq
dkEON37f8zip
=HOd/
-----END PGP SIGNATURE-----