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

Format: 3.0 (quilt)
Source: ott
Binary: libcoq-ott, ott-tools
Architecture: any
Version: 0.34+ds-1build2
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
 50b30ba0b791ba45eb50a794a2fbbad62d529fc3 7088 ott_0.34+ds-1build2.debian.tar.xz
Checksums-Sha256:
 995a0ab8ae0b8966997605e64870e224360d7f236a0f9bb30d245a675fa1063d 1142148 ott_0.34+ds.orig.tar.xz
 c94d2400f952a4a4f35e847b7b02b26d335075a31c4172f8d2423c6569161d45 7088 ott_0.34+ds-1build2.debian.tar.xz
Files:
 5eff147ec6d1f2eccd2766437e4fdb28 1142148 ott_0.34+ds.orig.tar.xz
 3f8604d3c4c0a216a3ad815cb04651ca 7088 ott_0.34+ds-1build2.debian.tar.xz

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

iQIzBAEBCgAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmeugncACgkQ808JdE6f
XdmFPxAAo8HFl5IzSm31i4qJPDOT2e6VyjEvEyLnI/0e2zVuLhfySCASQyZg4jZW
/f45SSD4UiezLi5QMSwkc4sh+GSS2aV9FKMTY09YqcFPlwlsZ2Ta7MGF+KFajgyR
XM1ukPOfmEwTDtBbF8WWoho8fYZ+fFOjTIfcyN8y1vqUFLX2XCojfWdOjIqRcBUX
93ZwRUx1c43tvY0qkg8HbuhW37MbqhE2xkffK7Nk5GmxsoPDmW1dzyj7k26N8/sp
WL5SGDMmkhX7mCPnqivSNHrXdi+3Ek/OzMAEJP9OvNkaheyi3GiXW70J5k/yaOU1
jXIcyG+2UlotENwCi/wWnykwu3mip0UHVgTawSXnoQFxVNXtEl/rYMkDGgqaCC9x
Go5yQ7m2pwZ67Wqe554WEEQ6cgG6IXat8za/w4QlACAJLzm03fCw4+obuVplG80T
rHkuKhjh3p5ibymBhhixoNWeP5X0IvctYAcypmuEA1N/CoI4vHev3NzpSqUlWM70
7hUxedW6/dKNOuZIi9eh025VHArMOoC60fJrruYOHFsLwBQ/NL1kTU8M8L0DrDnJ
EG5dw5IQO57oN/U8FxdI6TvJIpaoSTBLODH4Zf2qcORNEo29kZXTVVC9Gwa6eoBc
NOrR/mVuYX6gmznwp+Kdeb6i3uHhGiBA41vW8Cf55Y2bnt91zHM=
=IbjK
-----END PGP SIGNATURE-----