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

Format: 3.0 (quilt)
Source: ott
Binary: libcoq-ott, ott-tools
Architecture: any
Version: 0.34+ds-5build1
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
 bc40c10d85f190c30cfa808da57d1adeb7251991 7204 ott_0.34+ds-5build1.debian.tar.xz
Checksums-Sha256:
 995a0ab8ae0b8966997605e64870e224360d7f236a0f9bb30d245a675fa1063d 1142148 ott_0.34+ds.orig.tar.xz
 e1762c957c6f09d1e60275df166a7c963db0674c9a34b10432e916d991081880 7204 ott_0.34+ds-5build1.debian.tar.xz
Files:
 5eff147ec6d1f2eccd2766437e4fdb28 1142148 ott_0.34+ds.orig.tar.xz
 021b07ab2d416e4e70c3b11f3131d244 7204 ott_0.34+ds-5build1.debian.tar.xz

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

iQIzBAEBCgAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmqPDPYACgkQ808JdE6f
XdlcBA/9HCsMbqQ6KSImvclQ/ctdmIyTrnv70GyUdFweNIofDD4pEK9ijNgX/yur
OCH4eo13XodFXowtduwcQqrpG2e3DRT80eE8XW4Jbd3tSkrAOFp2teSorjVFjmph
Hvdi9GoCaWopKU/xIcg53LqaB2ThD/HxC398QeYBaMrjJyG9Txvw3Wnm7dQ6dakD
OATzdzvSdOuDNOLTzV2h7HIrVtZ+HLEvS8gjnqBQNi3O8p8PK1qp7h9mEQxElG9C
xITpEUUcQc8WA/GteiF0wgpV2z0Gpc0vP9pxloP1P6Ku1CB0Zy6udI091enBhvZH
KG04drPk5FL2vjv041+Orr7bd2xMS3e7TxHAxW2PzYpTb8C2lhSkp9pYzrF+V/Fe
pcCXdZ2F5A77Ygy4MKNCweBvUMzhbhBEdi3JC3M43gmiX1NCHFX47cqAXwiVf6qI
E/GnT3FoNijGB+Uj7ewPXQy3JjIK9cfFbR8J6ZTdpKNFe5GdMfQcnPIqf54QnMJc
oZbiCD/Z77lZw003u8n+GxdMDFPEqCpYhKGr41gj1wTqe+4U/Ff95fSlZiET2X8c
J4Z+9TE2EcPoqqs5NVYaFlrN+7rlkus7dTx8eCSXALh5jWv4cRkon4BLa3Sw8UHI
3WuP574q2pV7a+fljO/sBVhC4NvY77UdyK3DFsz0hsgrSqmZGrA=
=tyu3
-----END PGP SIGNATURE-----