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

Format: 3.0 (quilt)
Source: ott
Binary: libcoq-ott, ott-tools
Architecture: any
Version: 0.34+ds-5
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Uploaders: Julien Puydt <jpuydt@debian.org>
Homepage: https://github.com/ott-lang/ott
Standards-Version: 4.7.4
Vcs-Browser: https://salsa.debian.org/ocaml-team/ott
Vcs-Git: https://salsa.debian.org/ocaml-team/ott.git
Testsuite: autopkgtest
Testsuite-Triggers: coq
Build-Depends: coq (>= 9), debhelper-compat (= 13), dh-coq, dh-ocaml, help2man, hevea, libcoq-core-ocaml-dev, libcoq-stdlib, libocamlgraph-ocaml-dev, pandoc
Package-List:
 libcoq-ott deb ocaml optional arch=any
 ott-tools deb ocaml optional arch=any
Checksums-Sha1:
 97c298fb881fae76b54bfc4a391e9e511ac82887 1142148 ott_0.34+ds.orig.tar.xz
 80cccc3546d51762a8ea14de495a252534efdeb2 7128 ott_0.34+ds-5.debian.tar.xz
Checksums-Sha256:
 995a0ab8ae0b8966997605e64870e224360d7f236a0f9bb30d245a675fa1063d 1142148 ott_0.34+ds.orig.tar.xz
 dccc05665a0fa50db74f7b743dc4fb1812f1c5e65bcd54aa8b21de5b3b38db84 7128 ott_0.34+ds-5.debian.tar.xz
Files:
 5eff147ec6d1f2eccd2766437e4fdb28 1142148 ott_0.34+ds.orig.tar.xz
 1c25906c00d9c090a8b9449cead42407 7128 ott_0.34+ds-5.debian.tar.xz

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

iQJNBAEBCgA3FiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmpoeJAZHGp1bGllbi5w
dXlkdEBsYXBvc3RlLm5ldAAKCRAExTvX/gMFUUfCEACNgsgeexHVYvDsd2vb9eMi
IB3lCtjHCpXlK404G79YsUEFYd2+znYoLT+8uW2tYr5xGr4ouOqg+qJoZJ4M7ryJ
K3cNjC3DrSXEN6MfUCKm8kEP0ydb5/m8mXmtifz9XMh+woxNE0y1Cz13R8+Xygm6
pv2GuSkVV0veWR4FmzI5zCzDoWX+LCLQj8pOViuAty/QLdccIgbhL4Tn4W6lDjq1
G+MvV8sSz3KsTTj0MqE64tWgg8X9FZfXQujFCQw3mithHvIA8fSetNuyWvGU/1VH
sApwYCFjJ3WOvXs6DTfRWSk+jl803iK5EACZRJV1Y+NWNAFOlFu9WARyiFTfDxAe
K6qOLwd64kURoSTsvztXMvZTnZZHXs0056yGZh0bqFW2yEtaTqcyEANimfmrH38q
jfTYRyiTFCzDe6HZyveK0S+af87fw7ikWpfkay7NROtRwF5ZUHY9fzBGq/hrcYSF
mvOCAO15pJRJzXTeS3NpGGRKuRMfk7UgFc2W/AxYnRmKnl9JinH1ry6U9Wg+oflP
VD6Jk5g8ASac9o0LAQvjeWcemGp6B2WNPGySx/8GKmY+nF1s3zHSLBHASME3D946
vB3S9fXjxgsA4j7cw/VrkK9BDEGfF4kpHOpV6p/WyOY91DVUDrjzwQ7W2su7yJ43
M3MgHQm40abhIiMFbclwNw==
=+Zk+
-----END PGP SIGNATURE-----