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

Format: 3.0 (quilt)
Source: ott
Binary: libcoq-ott, ott-tools
Architecture: any
Version: 0.34+ds-3
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.2
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
 abc46c8e6da0c50b2b6ee2399e034b64b68fa6aa 7124 ott_0.34+ds-3.debian.tar.xz
Checksums-Sha256:
 995a0ab8ae0b8966997605e64870e224360d7f236a0f9bb30d245a675fa1063d 1142148 ott_0.34+ds.orig.tar.xz
 cb59aeb888afe7b1489cf2819aab03dbb794b695ad1173365f08ed05738021e7 7124 ott_0.34+ds-3.debian.tar.xz
Files:
 5eff147ec6d1f2eccd2766437e4fdb28 1142148 ott_0.34+ds.orig.tar.xz
 a49cc6896513e8798a3043213c62868d 7124 ott_0.34+ds-3.debian.tar.xz

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

iQJNBAEBCgA3FiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmkTfMAZHGp1bGllbi5w
dXlkdEBsYXBvc3RlLm5ldAAKCRAExTvX/gMFUUWeD/9nrfy8Sn/gekWZSVTB8Dz3
KYgzQbZDDakYroQfTjEtUR/HIlg35MxT4bNIodbTJlUdFoy3zr1N/YEMNSJVkGEO
Qk8QjyFZ+HjL9zixs87aPxe2GwCtNkNpf2GPucQoKSfW0kaZTOXSqrkNx/mMs1pF
G+fv9yCArqILlGNRW8TyH6rhvzYv9OHgJAbrxLg3Rl2JLRRHoSzeK5ZmocfDMuwP
wHxPz3JYdQ+bjYTqjDmG58ZZKQVILa3ST/5OydEpCr6pEdKCemee16AZ1uF2P3dN
P/BtdKE2bsaSLM7nZdg5kdqwu7ZGtgpHx3zbosjX9b9yEorx01xAVD4yO4rfjk/V
5tS2jsQ/1Bv+dboyhRyMtA3Eu3gSgtgE81DRhxq+v5hWbzpTDL004o0fwO/tVrdl
JK74XCjbBfi3CQGJThx1ux4322K2QUjgdYuqJovWz2Pzn7W6Zv2WmtZ+ZqvTw1Kx
L6fN/dw8TjmopBff56lW3LAMtsEv/g7BPZHPsNux7/xCNohEnpKeISyC71w5jB2R
waiyBvnQOZ1ER1Mb22t8aek8gzsd1BTK6A66zD7ZCVRwXrVmhnxawbob9C8HoKyP
lZuK6BHAkpTRNnGvsQ94JsGDcDUfkJBBwsUWpqWZeQ71bXnsuoHUp+xeUus47iQ/
LaO/IG37zJdfaKcKLh3W2g==
=07lC
-----END PGP SIGNATURE-----