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

Format: 3.0 (native)
Source: dh-coq
Binary: dh-coq, debian-coq-tools
Architecture: all
Version: 0.15
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:
 385947d36a9ecaf9c6e8fd3698446d8dd42e0082 10720 dh-coq_0.15.tar.xz
Checksums-Sha256:
 3f5e065baeabd49bce069569e86a640cae7721a3a5331c82f6d8cde281d43e96 10720 dh-coq_0.15.tar.xz
Files:
 1fe4619b277d21492d9c5a3020bb9c7b 10720 dh-coq_0.15.tar.xz

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

iQJNBAEBCgA3FiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmkBUZgZHGp1bGllbi5w
dXlkdEBsYXBvc3RlLm5ldAAKCRAExTvX/gMFUQq8D/49CJXf90O8MHTfSRwAGLgJ
3F51YkQEuLIcvEquGhqixb8NrRAFvfRqpXbdRiu+v1qwi7QHk7CkZeRCatIRIanj
PenH9wZcx5+5WjM3ibZpvu2zSigXBi0jHYeS71trL98aQEelodqgiBEdQ/bXatGX
J1hoO+ameziJX84qn1LUcgjaZVOc9lnlw4teWDy7T7XJOVN39R0IuicKNgsMyytw
1jJEPgegbC0ypc4EnBSRc//qZv2hJk/N6goniBExPJzyULkO44mnPnpkT/8fXS4M
Qk7syqPsbwLJfEmCCFfJkUEbLnx7lDsKfiL/bayezW0zPeFAP2E9+Dcq+603CcJi
8U9Ka2iKsmR6KKaN+zgTRbUo33Wq9Zqhyu9CqEsMd/o30Ji586NtWCT7+mKq8iUl
356VG9Tve0o06RiDe0+Qwm20eb0l0AYYvLaOra02md77Hpe89/rAJIOozhwa+4Mc
Q5Na7KVaTWoQDIUtVSqbzMSjkEL+mkNCvXdLQrXZjsGH/SFkVfkXxQkMh5mwaBLq
9faSzpSLrUladxeqixeI4GVMpvCiLGQp1NC+GfOnU7f0dW0Nvr6teYLVAy8zD903
n3fPvVoMFEdkhm/tBL2hg+gJCZvGPCNxVV5V5vb3HFBbp6E0as1nO+1Yq7nnYUY3
FiuBic63ezXbjQj+OmWvIw==
=HWhq
-----END PGP SIGNATURE-----