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

Format: 3.0 (quilt)
Source: ott
Binary: libcoq-ott, ott-tools
Architecture: any
Version: 0.34+ds-1build7
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.0
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-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
 65169f746034544908d7a7fc47fad7b1c37febc9 7252 ott_0.34+ds-1build7.debian.tar.xz
Checksums-Sha256:
 995a0ab8ae0b8966997605e64870e224360d7f236a0f9bb30d245a675fa1063d 1142148 ott_0.34+ds.orig.tar.xz
 7be1e14c674a7209de008fc926fbfd479c7f85dc0cec1d43234817f5e96aa2b5 7252 ott_0.34+ds-1build7.debian.tar.xz
Files:
 5eff147ec6d1f2eccd2766437e4fdb28 1142148 ott_0.34+ds.orig.tar.xz
 aab4042a5656d41ecfcf99f0f1f5c51d 7252 ott_0.34+ds-1build7.debian.tar.xz

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

iQIzBAEBCgAdFiEEkv5Pi0DK3E7M1gwfWWH9vpxhmAkFAmmn16EACgkQWWH9vpxh
mAmiVw/8CYFpZifhuQA8Wi7+b30gF9O9deYEsYUAXIY+FyXyK1/PtzK42TbsjdGr
ppc74KIWdzByLd6CdrnL6Xli2FIoX7kaFcg4ftGa2e0eQAtNaQ1527F0saWlnRFH
LKN7azQVgbFwA+wC8Y9toGqvDAA2r3BpcuoINU0WV5bF0pl/SkoegG8MUScStU4k
J2rfUx2ORyTlGaP6y3cjt8pMythwTo6Xjb6z2m6Ch2MgXan23duGNoESx463j048
GizRLReEo7la/W7Zw8TJNQRaUI6UeAZntQmha51yhZtkRzUwOKgQTIofqUPjJ0tK
AVNLcFmyDg6nL0BB4XHzGo6V3ynfaGmHqZFb8eCbt61HKFMuyY3kwKtEYqPFNd6v
5rHQmA6+WpQikudDbExTtN53I8Pv56WRkrQMYXiCmS/jg5i7PFMAZ1gLwOaqKApV
YFrMYwy572ESQWHesyRht4VQcfNirsj86/OmCyRwLIl+MdDUE9fdKssyHoKb3Psh
OYASh+/HJC/url95jeTTkvFh1UHXUaj4ButVOeVdptCcnDZknmXxVk2uLH9eUst7
IlBDJn0c9RismAzPSnjyJAkxlim4AZwJiG4KCP0dGqmmedZOFJRBY1JcLtf+B9+W
o2W8E/y1Djy6OY/+VXpKC6vAFpozGQlI9lys4+V7XrDvdSgNSbA=
=/sfo
-----END PGP SIGNATURE-----