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

Format: 3.0 (native)
Source: dh-coq
Binary: dh-coq, debian-coq-tools
Architecture: all
Version: 0.14
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:
 a5234369b89dc5d3c922e35f876daa16debdab98 10612 dh-coq_0.14.tar.xz
Checksums-Sha256:
 2cc0f29ab29af74a0cc985bf9c3598343b0ccc1051ae72b30e7978ea5e67eb3b 10612 dh-coq_0.14.tar.xz
Files:
 8a15e30550f7e3e7abe5ae338e840289 10612 dh-coq_0.14.tar.xz

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

iQJNBAEBCgA3FiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAme0UCcZHGp1bGllbi5w
dXlkdEBsYXBvc3RlLm5ldAAKCRAExTvX/gMFUerOEACYqHHy2TCgWBnL3Epr6RQP
pRATa0D3I7t6C/YDcQACu8wAG3Uksrr9Qi8uWDK/BLPDpIHF9oDHTdYUomgRU4D2
jYrMjVvCnHEdyZbMnLxhte17XctC9Vj0mONU87Zuu/dhssN8G7/y/InBSzbngu7L
4Vd5ivtQbaNlAAFi1sd2VI64QYAX9PzQL2B93T6JKnj6P8EVVPrsNaTRczNB+2lp
5BbH6y62VhQ3u3/IVBhB3buy4byMeLm+ONui61DVCApx/eucgNWZVr+yvtntA91v
HWq4gu4mVLKf+hBOuIKotuVbj6JMRjFCtvz4xxiZSJrbstUDTpdHecY8N4phNqIT
H75yJbyp+xLiqgrL54OpuF4aKEOqS5alS5r0TTqxWPemRL33a0g5OhQ4NMDKxrt8
4D02f0+rQCUjb+kUjMlKW/JfxBhQl48NAiL+1klnnCr849/AJRlB8csQ4w3tQDRl
qQmqn1hJtrRIi6xdEavqwv0ZGSUfwqYHfJ2ATMdrR5PB4Saru0eq20uA4cQ2FOYx
+0nauc6vd7JC6qHrZBY3gHoHAnEq2MCXnlVEi2QzJ9vpBZ2mLDQRlJj2WM6JIVSe
Bv3sMO4UnNZxT5jx43MVoKMeYF4ER9bsI8FqK31OJo3SvTGKWE6tAVHNqNfZ1lqe
5TbYVJd3+5ek9WVpVFVFRA==
=8PlY
-----END PGP SIGNATURE-----