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

Format: 3.0 (native)
Source: dh-coq
Binary: dh-coq
Architecture: all
Version: 0.3
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:
 dh-coq deb ocaml optional arch=all
Checksums-Sha1:
 74e9a233de52cba176afc86194e26999abf52e01 3832 dh-coq_0.3.tar.xz
Checksums-Sha256:
 523debf6a81e864fa4687f01c6867a09191425b5618c26b2d03cc6edcd0377ae 3832 dh-coq_0.3.tar.xz
Files:
 33d52f87d57ce0f3891c6960f049b47a 3832 dh-coq_0.3.tar.xz

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmKplVsSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRnvcP+wVSofhO1dN+WAmaGJq4MzpoorZN5UPD
6hHWAHP03dc+0MEcoRBt6F0k9BGU76SMueuH3PIdW7DteKzgD2VKL8/SEUPZIAhr
oPZaiMuMguEehgezPFayHgCvC3FDSxTj0hbpy4BLc8d7VTF4nJdMC+U9YabzvSjn
jk3DUshxnmDAYPsc4ZrZM/f0EpkBOdeh5yB0yCqgmyJwAw4b/U7hgYeh/K66Ry1Y
CTnkDl8odYYqOT0GbJuoOtm2OGoQAMqfrujipGf/z4TaW23Y+9y3dD3XZCQkg1ty
a7WuAcKfGY/Qlq/uiXEiHymiC6wV210ZIO6JNt2LmDYNwNPdTUwi5VErayDMPAHS
Km7sq1nAjlfwyVzQ1QfIB94pv0hmTer+uDjrc8QsvfWvv74bByWnPifMNAnGiJoi
HpVQ/4fBOBEWEs05wxpuTDVqgJ53hza5zB6A7ZkIDnUA6F5LR9JqnACP16TtGSVF
fhyBRSULfWWrIiO9p3g97qgpSPl4Pv6oZ6nKLTc7G1wnXa9h3X1loFu/qP66JLjP
PctDyEL+O53pgsl6GMgeSy947uYEFD3SG3B55niiIF7+9etNgD+y6FU91i8wOiFy
EB5B+/0xJnwr90nbu9XxL0fOtmvroi7WUFDMpjaNEwVxWXfTmUWzARgJ5yI5vjQ6
Jj0M0wlqEYq2
=yqV3
-----END PGP SIGNATURE-----