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

Format: 3.0 (quilt)
Source: ott
Binary: libcoq-ott, ott-tools
Architecture: any
Version: 0.34+ds-1build8
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
 e28cc977503ac2518356597ddcee5f4f6bd4d2e5 7276 ott_0.34+ds-1build8.debian.tar.xz
Checksums-Sha256:
 995a0ab8ae0b8966997605e64870e224360d7f236a0f9bb30d245a675fa1063d 1142148 ott_0.34+ds.orig.tar.xz
 643382aed6851209964703f48e1675c840cfa59c26a9fe0783055f78ff78919b 7276 ott_0.34+ds-1build8.debian.tar.xz
Files:
 5eff147ec6d1f2eccd2766437e4fdb28 1142148 ott_0.34+ds.orig.tar.xz
 5542717155c24c8732397765ce5db7b9 7276 ott_0.34+ds-1build8.debian.tar.xz

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

iQIzBAEBCgAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmpOYlwACgkQ808JdE6f
XdlRdQ/9Hb77PpufWiqRdVek7tCkGifU85I4dztlJB0SQdBtZ4DB+v6ItbcRSfsG
NZbfRdlJvI4XcO3QeY03/XmnuGJ6eFOOYnql2snqktLh/DTqmddDgcLT531pLrQv
muB9UH3lAVg+GINPeCrh0+ebpo9+SynK+LOR56DzGQY2CzHDWO5iXReeXB1swf7J
d6OOXXrjMLtVrs7TpRteCP/0drr8CgDhyHOZwgTqIdUIUqu6V8E7wlEeFhvlAALj
qBEiy/74G66vrRTnRzEtvIblbgfHO6IkmYmBjwqO5MJ4m6pn6nvqLSicFJLSxEpY
BZfBZhfTQpy30OWar/WkQzTxAOkMySpUvUe5IFUiRWHEro/qJwJb32GLQhaeCJV3
mYCmoPsF+Fx32N9BD4VhbixTGBBUcUrsAEmiUBqgVFvIW+53n8Ah5CIFKwd9HYFv
e02xTXio4JnAHbb5tU0W1jngCiG1r08oc8Zw4Xmu8B4z/ah6hR6Q2Yr2ejtz6udx
rkVFp9NgIxjsUD2TO7kzj1JZxpV8YSH9mICNX2YxDe9X4DuoIt8rf40uplPr4Yi1
rnDWFYcDBDT25Pff7ax+iRc+Nxw2hDkPjtmfZPhx/6pl8nsqcHN5E+anBT5abja+
qTj4Q3XOutMnNdxhkrhsIEjR+ee4Y7BtV4gVS8r7k6aAc/Lq5zw=
=fPCs
-----END PGP SIGNATURE-----