Package: libcoq-ott
Architecture: amd64
Version: 0.34+ds-1build3
Priority: optional
Section: universe/ocaml
Source: ott
Origin: Ubuntu
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Original-Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Installed-Size: 546
Provides: libcoq-ott-zl0h1
Depends: libcoq-stdlib-9imx0
Filename: pool/universe/o/ott/libcoq-ott_0.34+ds-1build3_amd64.deb
Size: 183442
MD5sum: a6fc2224c9db0836063040302ddb0707
SHA1: 4e099f9599e03b5398879dbd134da7af0bf74020
SHA256: ed5f6dd0b1263931117f77e6272c4ccb77ed8b96eb991fa8fa71aa582aadcf4a
SHA512: 1ffabb1f3d9e6b5bc7a6a54e2d4dda3f3d210d6d68f166f17577c13cfe534f79e650d58d8c67ba8ee9b29884d05070c91917282d6234e8bdeb184202ba3c1927
Homepage: https://github.com/ott-lang/ott
Description: Ott tool (Coq plugin)
Description-md5: 1386de275ec3b4597f33aab7bc4a2ca7