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

Format: 3.0 (quilt)
Source: ott
Binary: libcoq-ott, ott-tools
Architecture: any
Version: 0.34+ds-4
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
 171c3c565b02c044f465725f6628f64730848b2c 7108 ott_0.34+ds-4.debian.tar.xz
Checksums-Sha256:
 995a0ab8ae0b8966997605e64870e224360d7f236a0f9bb30d245a675fa1063d 1142148 ott_0.34+ds.orig.tar.xz
 2d3f735cd68e9adc4c4a8c05d57afc9d6903e676153956e409907b0b655e0ae6 7108 ott_0.34+ds-4.debian.tar.xz
Files:
 5eff147ec6d1f2eccd2766437e4fdb28 1142148 ott_0.34+ds.orig.tar.xz
 9b67c4e2ef6d74a6bf5709a161fb25ad 7108 ott_0.34+ds-4.debian.tar.xz

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

iQJNBAEBCgA3FiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmpREpEZHGp1bGllbi5w
dXlkdEBsYXBvc3RlLm5ldAAKCRAExTvX/gMFUa4ZD/9C6w3JjYGDQTkrFtqm86Pq
kFoh0zE1lwbIRW7zpSjKfaMbsQE0HB8/8RDEArqwNZw578dpNSLTVrbiMMy59uwk
Ddnd4GAuCQImZV8eXk4nNuvqO/Q2KX/B2oDGqM1pJQwpLsoZWPlCDGX1KiukYXjE
8pOiv5p4FdqVvP3nbacnPwdSnSS4slycr5dngfqETog9vav1epy1n6so7U+PnxI7
JrxGn9biRrRJfnVP2BBbNp09cT1/fUTcNCn+x6FBZPlL2wWWX1VwnSa5Q47esamb
5HoseziHKQioL4O/BXlUl6G0x18LpvOZyAw9m3Dco+WsPtA6u2DUo7YPjjLrI/NG
pTI+8dU6lZXsPL1lL/hBx0+L3YCM/oUpwBC6S3jdq/8jtckidGKRFqUXEONpfG6m
oDc/PXcPXGQNDEZW3JDShG9DcaqzNdOjDdM27yo5JU7+z7GUFngS/8ycqdnHeBBc
wFeddrx30jJVmXadQN0hEmkIN9hVsH+8SrK1ZHBmxBxct1YDBHFh9IOxbTkv5de/
NosUgqhZ1bTLdVYaKRT15vBvrfIlUhOYmSVVVSiIkwQ3l0i+VkiW2If9L77CN9Os
g/9niXdPWAMxBH7mQegmY+cSfbdB/XFhZbr63GOtDp59gs+c4o2ueN71aNau7PPc
4syI2o0yeDYiVf6M3cUOHA==
=Otsx
-----END PGP SIGNATURE-----