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

Format: 3.0 (quilt)
Source: ott
Binary: libcoq-ott, ott-tools
Architecture: any
Version: 0.34+ds-1build6
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.0
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, 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
 35bbd699badea5b58b6330b98de3cb565f0e0f32 7188 ott_0.34+ds-1build6.debian.tar.xz
Checksums-Sha256:
 995a0ab8ae0b8966997605e64870e224360d7f236a0f9bb30d245a675fa1063d 1142148 ott_0.34+ds.orig.tar.xz
 67463d410f9c91d6464162e6f77e4fca30008423fc033cd9f18c526a87c27915 7188 ott_0.34+ds-1build6.debian.tar.xz
Files:
 5eff147ec6d1f2eccd2766437e4fdb28 1142148 ott_0.34+ds.orig.tar.xz
 6b53bcb992dfd73369152adceb3203e4 7188 ott_0.34+ds-1build6.debian.tar.xz

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

iQIzBAEBCgAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAml7tAIACgkQ808JdE6f
XdmwrBAArvxVNmpkbUoMMdiMUrEFCUD+pFb2malPB44586Km/cw9686ZqrrFNhB+
KphzOSYg1DASlvw+/Q2RMmN4SaYa+5bjNJIWe5vBtcTiP9bv7MXRpNO0xWzRpSbJ
9SLgulTgeaGTkMRnr0+RD0GnjJnkLHYem/iOrGHpsxnsTuNFiYfkgx6Lw0V35fk/
ziYZtE2fTdvpYeM6RfRpVeu5U8QbNaPjXu6k/e0ir4IAHFGuHlKjKK3l+OXZjonf
fK+EFM20jtikZS/4prO2ZgZLgCzMJ+APUXt0wJ/t7TU6z6ieszlfuKk6Y10Acj9B
kU7+tQxB4iyAFMYPPy6td+4aWT0XIy1aKQXIKNXydUvMl3Dyq7qWXOtccDPRcGXH
Q37vYKI54DKlng7murTtLuo6+k0GxXrHcBLSD1KCc3zUIp5UjSCJkwv8uYCXFcgd
kCq7Q+GrZrV4VoxwXtR/HXI/ahmOTdRwRIFMnRQP1ciNNadsD8+NszQKMOtYa+64
Ci1vSjGmQqS6JSU8AMlPpWQkFQ6QQiR10BTp/kuJ5xadpiplX8rrOAMvytx6doTj
69ypZCofBJQTjUirOdFEfPxeB5KAkoW/0oAsKFMs9DpWkptnCkNoRKcNJfuzTgGl
dmCxOxg5aDmhHh4RF1FCSz0hjTqQ2167l9qEQwEi5v0cDfu6I18=
=yUMH
-----END PGP SIGNATURE-----