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

Format: 3.0 (quilt)
Source: ott
Binary: libcoq-ott, ott-tools
Architecture: any
Version: 0.34+ds-5build3
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
 14e2f9977f420a144a1588e6ea7f1567efbf3b47 7232 ott_0.34+ds-5build3.debian.tar.xz
Checksums-Sha256:
 995a0ab8ae0b8966997605e64870e224360d7f236a0f9bb30d245a675fa1063d 1142148 ott_0.34+ds.orig.tar.xz
 cac52f53fa69e54a6a2a820ac437152d12ccce440deb31329af169ba2c378f45 7232 ott_0.34+ds-5build3.debian.tar.xz
Files:
 5eff147ec6d1f2eccd2766437e4fdb28 1142148 ott_0.34+ds.orig.tar.xz
 06b15ac698ae519fcc3681e1e34148bb 7232 ott_0.34+ds-5build3.debian.tar.xz

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

iQIzBAEBCgAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmqT0UUACgkQ808JdE6f
Xdk/eA//eMhMaBQCFQpmM9qYX+4xConhCnZoC5p2Jjjmn+kxmUxL8p0x9cNZ5FAD
sUEGviCZXZiDSkjW02YJszYaZGlH8EiOeEjcrbIUWZ813TDmd8rVS46laMsxuVD/
t+BSXjqDPcfzP3bG/rZzhSJeq7Wz8WiKHGfVasjyhnbYTmBzRKSgjeIgl8FLnlVC
l+jNHjbyRm1p6vw70uES+8TqOLXT/s92aqFqyPWu58/W3pCVxQZWXWYiS9js7fKp
nM1dvFQiFT9vTNN/Flq8GpIeAGa4l2t49Iy5CieZJmPg7DzV0WlgJr/o8Yjn8439
bWzCXM6fCXTc9ObvmA9yxdx0CMRrmIAyQaCMItfTtpHad8+5K+CfLkPkqeJiDNGt
j949gT/rYoaIA71iRlbzLbo71ok01FNVZLywmd7SHpZKRJZPazWiWXRf5HgPfV8x
IjMfR2+DeyXts+H93PmholBHZQ+5wDwuVz5EJrZoby54+efloyo2ZCx38ulD/eei
lud4MSwEPwztMO1IoQhS/A1VXJCH9YpMo+OWooPJrFd1NFaqHhZejGSVVXovtytr
eHrhDy1sFC7ymr9uaOAYZ1DN0a8YOTfEzeinctX3lEXMotSZTEwPmwwH6t3cHq4d
1XNFvrzEK5WPhM1U/YglU8u9CxqJ3oIhwmqV4XR35RrQGdxECGc=
=Q1SF
-----END PGP SIGNATURE-----