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

Format: 3.0 (quilt)
Source: ott
Binary: libcoq-ott, ott-tools
Architecture: any
Version: 0.34+ds-5build2
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
 4d549b3e7a26af6545ba1f3265042c62fba7ab73 7216 ott_0.34+ds-5build2.debian.tar.xz
Checksums-Sha256:
 995a0ab8ae0b8966997605e64870e224360d7f236a0f9bb30d245a675fa1063d 1142148 ott_0.34+ds.orig.tar.xz
 aab99bceac068939cdd0a0de68b14e8bde04053aba50c888ef8d9b5f302ab1bd 7216 ott_0.34+ds-5build2.debian.tar.xz
Files:
 5eff147ec6d1f2eccd2766437e4fdb28 1142148 ott_0.34+ds.orig.tar.xz
 a37811fde11f99a98e90cce72500b305 7216 ott_0.34+ds-5build2.debian.tar.xz

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

iQIzBAEBCgAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmqQQwwACgkQ808JdE6f
XdkjdhAAz/mi/a+FewPMPq74a5wGKzAyAnoh/ISzgwxR6q9fcafoJUvos5Rm/mK7
xD9oNkLZxqwSNdtXK1BJ5/1JxX7G+npSBWhCHI4yEI41RW0MCsUdIxbdNiZWXNiu
NqFklV7+nUwT4hbvsilJdj0SOcAvwTnfaNuLDlefKhK/PV5NHKZjGfhYoEJw/Fh7
8ThcFGsiSIDx0NYc9u+McnTzN6UC/D01GcV8xhChwxigu3uM/RqusPVKefOKaL6w
S3MBnx6aydxhtnRxpJ/vM0EjiRbS+FGLqvs2EFFjRehkxm8neADoQmrHssC9PtOG
YVGulITfpuTLLHn/fFluZgC2lOs4m5pU8NnpCH3zc6ygBWx5gHZGq5gMrli+yGPx
PGCs2QT+gVrp88KzIHFk0FC9a6BuS6ujvniUCAjoM4uPI67hCRlmMfsIm4SCvY6+
3rHaI6Ayhskpe4IOFtiBOBlnd2s67fr0LrfoICdCletVp+a+oGC2ZJVpOeF8WtOS
v/peJFHFGYLHVc0ZobIMLoUYTUZmxFfx7TjiSfs3lp4AvSy8WivonGaKH9BBq8bf
wGx7Y1FQhlCmH/SK55Pvlt7K2iH5n5IwaDt8N1O9ezDpb9iwpdCyfU87OTa3HxAg
JD/5XUj/RdcgRsshun3fYhMlJ0BQePOvPIXKAHJk2G/0QX39QJo=
=JNVS
-----END PGP SIGNATURE-----