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

Format: 3.0 (native)
Source: dh-coq
Binary: dh-coq
Architecture: all
Version: 0.2
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:
 1c3ca9446eba8e71e8bcfcb291082722fda57670 3756 dh-coq_0.2.tar.xz
Checksums-Sha256:
 8f5ffb0fcb777846e83a51a1e41c686fcc8c52640169d781e1e5f9874d94482f 3756 dh-coq_0.2.tar.xz
Files:
 78337bf759623afe3404423fccdac6c1 3756 dh-coq_0.2.tar.xz

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmKko0oSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRSUsP/0Wdb4OqS0VpGdnSFBmKHIBUj95YQdK4
aOYL4SdG1XTIvwJXS2H2yHOoZmDMF2OUFnCH4eB4h0iHr/lGj4JxoqFE/HOeo4Io
QWrYhRR2wDbPCIaEGaaRYUImMTz9cu4bYu0YZazEDY+O4J7XPmu88jg3qJa8VeSP
l8iT+qiEl+Kbd26rowC18APj4wT577Y5ENLZNe1VSdJ4b7O1ggnXOW1X1esGzUy6
TmmqvOlS64jw5+t+aWnIblDjDqup41SSRy12UJGGDKoYomsX94KnmUmsTINO/yur
sQ5QuXFfrdi1M8d7soIZKpGvguQjIpQLQLjhxUD6eC/4I76dMmKZBnpAyh3OdhL3
bUgQS6/1QoSnv/lX1N435/VBi4wKVE89rdrWNK6iyZxQwzakr1WdGEcIbphLkduX
5qZNNy9wfuYIzptY+XAvyZePn2ECDzLmkxfz6sfY+2NJyqVeDkJImqWL2KA81eUt
42HubBZnO8M+oL2oUDypoG5BP1lwuhU10uEXfJXbte9XIf+mLJijhJQ/srelrEVy
tbxbu0w9IJy9zwc3lgh+Z3EzDPJ31poj4SuAT4GQ1ITm6/WJ3aYR4NA899TLmtwX
xW0SCP9H+biLsuCFnMMbCUiaRyLrdFJpdKluSmZaRU1DTpfXCVI+1AVX+2Bwx43v
XKBLLRHen3Jx
=5XN4
-----END PGP SIGNATURE-----