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

Format: 3.0 (quilt)
Source: ott
Binary: libcoq-ott, ott-tools
Architecture: any
Version: 0.33+ds-2build1
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.6.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:
 fc63f2061e80024965d44533336541733ccdd788 1140368 ott_0.33+ds.orig.tar.xz
 55b7cbce5a85438f97dcb6e9c1bda65ae10643e9 6888 ott_0.33+ds-2build1.debian.tar.xz
Checksums-Sha256:
 345cf6b2359a39174ab61e4d83d2d2a325f8aa2e08b6483cb267672ee11bde73 1140368 ott_0.33+ds.orig.tar.xz
 a8ca221554ebd98bd70a4001c4c50f69269e9aa283b1870e4ca07a600ec6bf6c 6888 ott_0.33+ds-2build1.debian.tar.xz
Files:
 2d36c7cb4901ba8c5ba757c6108e1ad9 1140368 ott_0.33+ds.orig.tar.xz
 cbb13841abba89fcc50f7eed6d35a000 6888 ott_0.33+ds-2build1.debian.tar.xz

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

iQIzBAEBCgAdFiEETQvhLw5HdtiqzpaW5mx3Wuv+bH0FAmWGQIkACgkQ5mx3Wuv+
bH0RLRAAgmbgOwNZ9TdoiP/YC+YTmQDsYoWFL1GM4EZxHgOQXJfQqCCdpAv4JGMz
8QUPKjWXReUHElAcMPG6eA1xZ4O4ncPpPP/fpYHyNmWExWF163g3aQ9PPQ5vLhZm
lRMZ/dP7EA93io/3y2J3Ue8JQrctRA494QZ8H4VNVRdpRgbkTr2d3ITApHOo7oTN
UEQaU+CaNUrldVT9wC9gR1Z9aEmYXUYaXcbImEKnar4hL5Z9vtQYcvwh1QS2qmd9
0VXnvH4qaNIIydxSUKjkT0eGy8BG/ldz8P0m0fDG166LD2N28LfL8TbdOvx38isX
rI2k0zelwIT5xZ2wv83mK/gAcj7jn5tVCFE1B45mE6RNDU5sX4Hhx5m7EotBsAZ0
XETqhjkbyLRr7v8vzWWfZLkPWNyMAXq+jbwYA1uOHUYfVcoAJDO87n2kZ8mK0c3I
CWeFXWeaJ42G8mXkhB5CKbk7knwTIzy2nP2ICMPL2K10exMq0ySFHTShGFINcfbf
Qk8HPtvxI0mDiu/EGgTf5jk5I3gDDbIHDDBnlpjnaocvzNbXuVjfLTVBqylZxZB3
Fg6r7pnfCvxvr4AGhKcMlAPzFuO3P1+sJvxhk7qOgyGyWJuC6rvvB5hHIB1u8WWi
RVqwK4B/PpwxQrx/n1P4517mgScO8vAw/kznDwj4tL8bfq12Rj0=
=3b/h
-----END PGP SIGNATURE-----