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

Format: 3.0 (quilt)
Source: ott
Binary: libcoq-ott, ott-tools
Architecture: any
Version: 0.34+ds-5build5
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
 732421fbf002347577217db0977e9aeca78c458e 7288 ott_0.34+ds-5build5.debian.tar.xz
Checksums-Sha256:
 995a0ab8ae0b8966997605e64870e224360d7f236a0f9bb30d245a675fa1063d 1142148 ott_0.34+ds.orig.tar.xz
 48a3b9769f187980644d4a4e8d4ab9891e2d07fce7a649b9f59ad82cffefd340 7288 ott_0.34+ds-5build5.debian.tar.xz
Files:
 5eff147ec6d1f2eccd2766437e4fdb28 1142148 ott_0.34+ds.orig.tar.xz
 5973c6450101c119abbacbd9f229112b 7288 ott_0.34+ds-5build5.debian.tar.xz

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

iQIzBAEBCgAdFiEEVovyKmYzfL/Jprm3LIPbyOm9DjcFAmqtC+8ACgkQLIPbyOm9
DjcgQg//bgsh13h0ngmQxOsv8lAsTnFPBy3owdfIEjpY+L7iMtfG1jSQLEghnFRE
uNAQUN8BH4pAMXNSW5Q2MqYhZzQScvyQDKuyO84P3OpwL9iZX1teqMkYK1vWxrqe
7WtSbLxWfljzcLx57bVZWNnYfgnYO4Kz1VIdvLmHqTA+2v+QaJB+aMnqmeXmZdVZ
OPFsGduSWANHjyYs/o34lkuglJa12++kQoZHeqcoNhdg5JnHOWzwnLEau5WbYGCM
K3G7t9PVNomvXDpZr2+hf05zLiCguDWhqb5VbQ3efFULkM/eQ9yOK2xMt/uaNw0j
LLMeAzxw9mgFHVvGO6ceNQ8mILvuQ9vOYqhvDlBaaYXNyTS9OR93yUkWhhK3h9u6
P3BFyQoLy6w7zcpS7xDuRK3HVW1eNdM+AZd92utzmqY+K435BMOBYoJSemXYS71s
1YgQqQqcUzcjA7o/fwSVwYnISVO1GeB4dp4vwZtiXrQ0AF2MQthsLuEJ3wVDK01Z
ESsWMqD0zo7h+XNj0iZc4iZBomk9qfkOGZ8e8BxQum3IhhAVj4PjHnvxfF2GYmmW
cXdryqGSC1yr7vtognhDQDWh4uWa+aqFOid+i7wwDBNw3iU+j7734gY7fDFplQCA
4f7IB0k3jhEfZslu9q87aWBUM7MoUrP3wodYYeriewhazz5j3tk=
=Mfia
-----END PGP SIGNATURE-----