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

Format: 3.0 (quilt)
Source: ott
Binary: libcoq-ott, ott-tools
Architecture: any
Version: 0.32+ds-2
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.6.1
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-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:
 9f0071710ae175f020442eea6e476f6f71ae237a 1140176 ott_0.32+ds.orig.tar.xz
 2571a3c75eaf149a06b59a1dcfd5c35598fe08ba 6916 ott_0.32+ds-2.debian.tar.xz
Checksums-Sha256:
 b18791dbf7abae18626b4e7c1f368c8311a2e0f0bd9c49b3288ba6fde3f8e1c8 1140176 ott_0.32+ds.orig.tar.xz
 5f2afcbbe42924f8b9677a6d8c1c4447351a78400bc90e83a3c59658c1c86a3a 6916 ott_0.32+ds-2.debian.tar.xz
Files:
 c4301ffe56b273f023200c9064eedd6f 1140176 ott_0.32+ds.orig.tar.xz
 7cdb12ed0bc56bcd84d26fe67781e70c 6916 ott_0.32+ds-2.debian.tar.xz

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmLK/d8SHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRD1sP/ROMqjwPzd5yPCkSTc6gG/77Ihhccc/o
4jbYFkE45uIigtxAtuDk2HbKLGfo5Ynp2FyJK1mumyxqilzNFQd8kz96aeFYgmzc
mgjgZBxLe9OOfaFX24S/ZUde/NgsAA1EzcgKzP0Erg0o8nRQ0XCcVVigKegkzb0I
1VUrkNu2WaAX/94iJJgBF6ycSlpuwggo/be+y+Lxracedfd1rD0Ka35DpmpbEA/V
FDcXCiBtv8Ey7ETntmzJ2+sULMWuuFNablRlxegl1BwRDLD10duWUFy/TgSrRitt
i85bfPYaCEl3cPncexSjTql59mDZqnB/aGe+JFSaKP55R2g1stZ+SKybQWJM4dAR
Ajrj2VCYLCUDMkhiQEQZhYo+nJcqPWe9wTYkyWYoVQs80CzMWrdmrwW8hslVj4fK
oBwDVZ5/lLbutYFexZig6xUIOmd1w8S5Op1u+iVooRRNaAG4D8qil2KFcYszrCTW
i+ZuzYsLbgA29kJOnbtkF1ddZg4n6cQxutS6gRUa1aRxlyrb5q87vUioqaSHSplI
PakQcjgAgdrfloEz/1oIKP+mkGTvwCOaborz9nrrX1xq/5ky6dSR372aLO0fVLEm
XlMRuYIe01MkBGkjkIAlupdlxlp0jSJhUtWgsRih2LbmylRGQsXI3lZVGX9b8SoG
jNh22Cl/OFGc
=zXdN
-----END PGP SIGNATURE-----