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

Format: 3.0 (quilt)
Source: ott
Binary: libcoq-ott, ott-tools
Architecture: any
Version: 0.33+ds-2build3
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
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
 c9c9be6c3232327d5164ffd7b52cb2f4d9088b6a 7032 ott_0.33+ds-2build3.debian.tar.xz
Checksums-Sha256:
 345cf6b2359a39174ab61e4d83d2d2a325f8aa2e08b6483cb267672ee11bde73 1140368 ott_0.33+ds.orig.tar.xz
 40d2e8fe5b7bf8d07a9b31fe13f4dee2f48d37d0fa07bf33389de652b6586c10 7032 ott_0.33+ds-2build3.debian.tar.xz
Files:
 2d36c7cb4901ba8c5ba757c6108e1ad9 1140368 ott_0.33+ds.orig.tar.xz
 36fda083069e151b54837be631c5a130 7032 ott_0.33+ds-2build3.debian.tar.xz
Original-Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>

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

iQIzBAEBCgAdFiEEoIn7Nqr72tWswTJQafeQFxohCYQFAmYKQf0ACgkQafeQFxoh
CYQ1JQ/9Hs+bl0D+p5+G4XUQ8+KDXXo3ghOIpKdzBdS+fdoN33gy+WK7fiYEVXFV
tNW4EgkcY+Mncjxzv3fqo3TXvTcQLAb/qxMJgY0vJdyv0nLOIpuJaXVJ9zvUGTwj
ATSg5KQTm1+hVBIOXLeE+atqovIGTDY2dT6xIoXft0ptRSzIQcCnwrylpQ8f1xEI
siPJc99LBunqv5OVaGSEngsaAlz2SDdrq1HkQGXVFAClp4h5txuMfycdVRUg02AN
Yspz7QUlfH7yXXzXelpCMPJ/UB95+odf/Hy+mOFEtKxAMKGbCBhBSIIPFMIdzBbd
WsUz+NPwZbOJx0302WKxSMc8TAgnBTgmNi/QwAAkLpLZvFghwgyB6gTPXVdoWGY/
dAFrfVmjO5hyFIGOkW6COvMRAx5F/Jrj4ny8FRz5qUy6hv6PEB8GoFHnQGdz+M7a
lEST/ahH+/bUAOptb5Lh+dcDhRbNpxnZKztACkeT40L+tKVMSkSJGtGzGASrXxNi
smtzZvpSycVbXSjY/49PR8YDBBRh5PktYig+he1tb/2oX7oLvFcEye/BWpCWVEcU
jJeIK28BLEVaQthK2Fw/ybI5lANe20xDwFiP9AKNrPUpHeKhDSuAjJX/n9vOPuky
D6KLwCRGm/TtMr8ua1Fal17J2rWP3CyVRK5tZmOCcq9Sz47+akA=
=qTCh
-----END PGP SIGNATURE-----