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

Format: 3.0 (quilt)
Source: ott
Binary: libcoq-ott, ott-tools
Architecture: any
Version: 0.34+ds-5build4
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
 1521406063e0a5f74167fee6d12a6c21fc8c13e2 7244 ott_0.34+ds-5build4.debian.tar.xz
Checksums-Sha256:
 995a0ab8ae0b8966997605e64870e224360d7f236a0f9bb30d245a675fa1063d 1142148 ott_0.34+ds.orig.tar.xz
 a24e76e9312fadb4b59c0fe805f4b7c518a6bba7e4e0034b6b198aa34d62a887 7244 ott_0.34+ds-5build4.debian.tar.xz
Files:
 5eff147ec6d1f2eccd2766437e4fdb28 1142148 ott_0.34+ds.orig.tar.xz
 b13205a34d57046c7b2e78a9a7fa1fbb 7244 ott_0.34+ds-5build4.debian.tar.xz

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

iQIzBAEBCgAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmqiVbwACgkQ808JdE6f
Xdn1mw//XaJLPBulfI6e7ntPtTRoLsS89xrY2EwiMhOvtuyzm9hrJSUAyNZVgTcL
es7FbjpjapdR/PcDRGkafIBz8Xl/U70BYNaQ6hrH6+1yNKuvV2QevzbQInKqbyid
VD9JucrlitBQe00xwAQ9OLR4ijXz7K8jeiwRyXl0wLO8/ZlIh6S6lx4Qm9NJaPsu
i+9wagWeOJSiroosRdKJQpTzjuAcOpmbtnYoqtbfDI2vEb4WdW7orRc/DSJvUiNB
Tm4RRygirPTNCjv+PkCKKsEvJayNbPJMVxifzTf73+33044qm3gglh4lrN8cX5Gf
x/l4Tm0KD6RqeK4Ces2yqNRB8L6sizHisZ0AMnWvLQ+oSKLXkzE9zdrqA1n3Xm/B
5gkzuuDlMqNH0NMLH9bvb1okaUjxO67D/38LJCXHLBlqHBCOMP5tBEs99nt9qReu
vqcmeVkohQ7vWDPXFwdt6rvehSC+00dECxWfJFv3Ubb2AdShuRi+Yel+GwJrrw8C
9wJbiKI+1GT2T7jEl4LY1YtJ2UKqxwBHR4S/gof3B5BPY+7H9eFqS+DKNqS0BxLF
mM961Kd9IPnE112D3ZJ2Q7he5u+RKQYn4xF1UiezfVxAuD57RiCAiaQT+K2eX72B
4oq9jdddcuheA3jNe5RVmu21Rr4zskgtc6ZA5M6ClnCMEw2G+F4=
=aFoo
-----END PGP SIGNATURE-----