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

Format: 3.0 (native)
Source: dh-coq
Binary: dh-coq, debian-coq-tools
Architecture: all
Version: 0.8
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:
 484967710d5eda7b2b6ca802646adbb95c82d2cf 8444 dh-coq_0.8.tar.xz
Checksums-Sha256:
 6612fd142857070d82e1ec9ad1f93aec2a18b498b19647d7ebda70ffeaa8981b 8444 dh-coq_0.8.tar.xz
Files:
 37fe6b6fcbc436a0fc12537f2ade9297 8444 dh-coq_0.8.tar.xz

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmW6R1QSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRtlQP/iirYvEDQQ8i+qLwinnOqUQJCa8Sk997
2qVZAH+q+1FTI5rpdVzXOFHOOBrVZ8nHwDgug8SCF9KGQhpnsYleBobBB8KKAcd/
gtvNM9OWQMTJ8kQMZsBwNtEQNuN256EaBfFW/jWPgk0qEpRFz+OAR/PbZIgmb5k7
QXhQw0qRW9K4bhQTbVcQmrq0qSvxqlQBN4KDvHi5SfLG42q5uGkzDWMkL4UuQlgf
3futbMY78U9j5eIi7wm37D8sWximSMmn3VEWhjqvEdwzlK81oh2A44nYEFP1/OdT
XpFagdLRHjPI/fiOxLm2vcTNibKUWzVG44wauyzrbki9zl0cgwhGKsiIAu2vlYY5
+/iMG0qKNL5JhIbwe2AQUiYo4+uwhjKvgDa11ykA1O43788kP+iNe4riyvzS4XAw
6pr9weYxJN591VAE532oFWtz5whfZErU5Eek+ulwBnIt5mBX7mCVbLc8yOfLMj/h
wP6iih8IjFLodzNh6QljqMlZydaYptBRHgyOYLqOW7HAn8UtCe9JA7g1QOqmpV87
gMl8bW+nw3Bfz6bQhPz4pEg6EH7HS+DB4tfPFXSZHk7EDxAN7lA1qDYgQXa6QiPM
t6f8UOq57fhmkb7mu4wNAFusG73B7fz2uUdcPGGJD543TJQ2c4MFlhxuAYNB3sys
gALnnYAg3/qc
=lhfp
-----END PGP SIGNATURE-----