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

Format: 3.0 (native)
Source: dh-coq
Binary: dh-coq, debian-coq-tools
Architecture: all
Version: 0.7
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:
 cd6fca0bbc998753cb3cfef08204d75447653d79 8036 dh-coq_0.7.tar.xz
Checksums-Sha256:
 e94ae6d0c35e3094ff0556cb14efe0a31a0da8bf152631d6d751cd2a9d70ce41 8036 dh-coq_0.7.tar.xz
Files:
 94177775fc0ef7d348907d3f48d15c2a 8036 dh-coq_0.7.tar.xz

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmWx9aUSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRgUgP/3+owRBoFdcyhBfG75Vg0oxLvQT5ULzw
9UzwOW2fI9S5fbYAkV0XJcllokjSE40lMixPAy65zf3naKQCRiGMk8A2DwkGcWlY
bmYcQgWCfLgphtkSqXpKJsQt7n6s463vu8kThT3HZWlAevYgxINNX7sFXsHt9jbJ
uBtOtRaXoD5SDr2T4yHVHsmDa4j9T+JpcUkYrHR66VRMwM9x2iUz2W1TQXUtfuxp
RHnHRVjO7Y9Mh7AGaWyH154isnyXXgpIT81mUo7chOyoNwH6r1lwXuqcG+5oGFgi
2dUSN54wRrxF70I6GgpUVATeyJBHlAbIgg0eGJjNSzTwSFb0MYR5b1itGE+gfYny
aRTazgXzEygyByMj7kc51h+dJKw/VxSYVpksNm/EQbFzp7+S6ar+zFC433A/IFBR
QhwTd7Z1Q2xAFrtFNrxbS9+hO6Iu8dTXmY4/mYRXfrPtiGTZpHPDkrk0hwLSELwR
ufLUbWrgH7nnf38KTZZko6ENlvbfIp9maByATAHbxkSrBIhgjn0w5NGQiNTSRjnV
kvKoE7eyJ9fxm661o6nqdhdOnWsYBKNudpg3GhflCh8Ylf48Ht1sr7Aj3Abs2Bya
gOY4R2Foe1tITQpTOFoage4VBRarCXC2drbHMmwQAwXOIOkP3zzMTcFRZVLGfPvo
dGxOylipOFRy
=dlH5
-----END PGP SIGNATURE-----