-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256

Format: 3.0 (quilt)
Source: ott
Binary: libcoq-ott, ott-tools
Architecture: any
Version: 0.32+ds-2build1
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
 c69fbd8cff03594fc5160c1cd0a5682e7fb8dce9 6988 ott_0.32+ds-2build1.debian.tar.xz
Checksums-Sha256:
 b18791dbf7abae18626b4e7c1f368c8311a2e0f0bd9c49b3288ba6fde3f8e1c8 1140176 ott_0.32+ds.orig.tar.xz
 ccb8e1a12294d9130d21e4c967b6740088d72c9d40700dd004024614fac59ed5 6988 ott_0.32+ds-2build1.debian.tar.xz
Files:
 c4301ffe56b273f023200c9064eedd6f 1140176 ott_0.32+ds.orig.tar.xz
 6b11fb40ea82d335097f7f75f9c4c724 6988 ott_0.32+ds-2build1.debian.tar.xz

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmOCh9MACgkQ808JdE6f
Xdn/OxAAvLI+VaD94q8TEnCM/pCzahplSC3UE742H80s35LxplJut5cSzq6kwHIo
Vst6j32gJ1OU7DNkudg2XgbwNkA9LkSld/lhDgCl1Q/43N5qqAXkFXQqzfXU4hmK
WdCJw9C6yRgTBR5DVOAO71dwhRqYZv/rpWB4yvqkGRzc/qPYBt7R9K/VRMdCNiv5
+TQODA1Yi4E4fDWS5WJMcYgT93CRnX6n8UZvkolnPRvY/1+2CVSHNORsuwRgOyRU
wLV8st+K+4oAUA0smhIYz5RKzFRx7yETP573dUtJOBm1FNWXnB9zn0ACeIZMIZy9
BKx9smCNV9JkFjMze5rYfW9/kvFsKlPZCkd+K+DU8yxNJDrAtq0mgEqw6Kc+8uRF
G0+LhSL/+jPpjO+074HWx6jKRtEpFZ/GTrhtr1gAkGRgAsurWrzxcd6yK2WsgoN+
jnyZ50H2a4V4yNvid3TFgQWgvwdcL9d+4l/80bGOAaPl3j5RwRbtvzUtwhfJOU8w
P5qRL4mZ1P6ccFgFSpaJXtLXzPAm+/3X8SiUTw/OMN4Umn9H3fL8ekQ3c0DDgzvX
rNmK9YHnpCSIdecW0pSIXrpa6bs5DNVINveEcyICRbrG3/W8YvZL0yvW/EyRcpFC
HPLoP5BZqUxNimNL0+hhs9sm2IaESgBZOWkhbgfKVsngLBU6xgE=
=l+u8
-----END PGP SIGNATURE-----