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

Format: 3.0 (quilt)
Source: ott
Binary: libcoq-ott, ott-tools
Architecture: any
Version: 0.34+ds-2
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.2
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
 b2feeb6eb9c28aa26f4c6a13a4b22edbc6e9332f 7080 ott_0.34+ds-2.debian.tar.xz
Checksums-Sha256:
 995a0ab8ae0b8966997605e64870e224360d7f236a0f9bb30d245a675fa1063d 1142148 ott_0.34+ds.orig.tar.xz
 8e69349736e489b2cb4eec1da42494e3592c83189576c84252ab5090977e033f 7080 ott_0.34+ds-2.debian.tar.xz
Files:
 5eff147ec6d1f2eccd2766437e4fdb28 1142148 ott_0.34+ds.orig.tar.xz
 c78256d55fe6b76b4603389c306f3623 7080 ott_0.34+ds-2.debian.tar.xz

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

iQJNBAEBCgA3FiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmkB1IcZHGp1bGllbi5w
dXlkdEBsYXBvc3RlLm5ldAAKCRAExTvX/gMFUT63EACYsdjQxDnA86pub1U2soSu
7KLZAQh76EhH1rNoFMw0/rK0GqisuwK6JBpszHcw5/YbRf1+R8mvHpHQcWHhSIfg
K2HEEc+x9CnzfZWUAlvuaaB/y/aTIycLU/q2ywSnmcQI5WyEq2YEIn5aRYYmk3cs
iNfJ1Rm4F82Iu/Ebxv/pJ1q9Dck4KTJeM9QjCAW/ohvXcEc32OoILXxX3W5ysxGP
ZLL6N5dmcslE2SO10iiXVmDzm8ict4+PCkNcvQ9zW/iFV2gS106FZpQM6RKOGqN4
bfyy1gadLS2xHNrWuhhFIHgTRiFElcr65JVrDU7kkufmC+93+ir4si/ZgZ7xja7k
YgF2Vh6KS0dzv4YK3mySH8JYkICDnWaVXhPTG76Tko/kM9v755UDJtEcAc/pmfGm
WVKyF5qpWlOpBu0UUd39mVyu5e2ZwpAngKZPtWvKmJ4tAOPR1EXP3Kei0mqpzrG+
LhmX636IgV30E2pFwf+1hOVKU5EFxOOTY4gB5yrciHtpn+snhD1MjlocLLJx9nhl
LUjD2cKPi8RnGLU91uUVT0CUeEZCx8S75ML9ail0Kn2QH88NqDwO+1pBuwmoaXqn
0hfRE2qLWDt9sY8H+1fP9uuGoo6eXpCI7X877D6558SVpv+Pzp7OYy7tKBi/cQKU
TS1WmqCR0ScvXtKQX8TJVA==
=AZ5J
-----END PGP SIGNATURE-----