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

Format: 3.0 (native)
Source: dh-coq
Binary: dh-coq, debian-coq-tools
Architecture: all
Version: 0.10
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:
 5397ac595f2a81d326f2efaa2ccca645e31619f3 8560 dh-coq_0.10.tar.xz
Checksums-Sha256:
 6848e450887a479024a92ec8b6c55014a20ef0cdf65ba8d83323cfdfb7d883b0 8560 dh-coq_0.10.tar.xz
Files:
 f43102cc499a5e009623d5dc919410ef 8560 dh-coq_0.10.tar.xz

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmbnvB4SHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRYmIP/39MO+MnRnRWGMRkGVn6V4dGshhaj9E7
G5O2LiuIf5p0UVwcDsnD31I6bjWh+dTiAOA+FRXjIx+EzWIliLWKNbIuP4qPZ+gE
2CVAoHrKYPlTOgg3EEFqsOzW5aVmWR0h7B8H6LPakVqepEPnRFxWGzgQKwNCjpKR
XoYxsrzAvdiTFQDv4YlzKjGhvNPs0rNSUt/uhkSShbR1fhb6pGUezL37R7+HdlqT
9R25L0sH0xWBdVxM4bVJBeMP27yfjzUXG+1tjc5E6p2jOMzbUHbo3MZwyq32PbmQ
Ig39ZCpaHGJDVLdKmhn9/CkhPuDl09np+3sfCDkl5/3GUKqAtQfdZHYeeQMJMhCJ
cYiRKRoB6faREQjkrLiDxzyjTTnInMswcnyZMH+GFji1PfoXvu9d5l+KNhTLnJzM
HnDn4QXwP8JuIJBc+LrEqt2tZ3MucQYcG55zxcE53llXwq6Hkyq7wGvwmmLzRLIC
XnBjSpUDN7eFr91sKKcuwFRQ+bCwmUA0tk7hFlOKL2jfRvcYATasMuOvfeWSN37w
K510lSKEzZZbA9aZbkBE8/l8l0S+bvBh10ACb/jpTDIHdgL4q8RPGz2gsD+SXW57
0VGR4D5aAyomQJ6nqJ+ZC7Kkkl8XXSo/p5kkLcSkm78q4gEKQ+JYH/Q64dUI3JFw
sZl/i3p5Ht7D
=/Ecl
-----END PGP SIGNATURE-----