Package: libcoq-ott
Source: ott
Priority: optional
Section: universe/ocaml
Installed-Size: 537
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Architecture: amd64
Version: 0.34+ds-5build5
Provides: libcoq-ott-7byw0
Depends: libcoq-stdlib-7wto0
Filename: pool/universe/o/ott/libcoq-ott_0.34+ds-5build5_amd64.deb
Size: 187122
SHA512: 209e49aad1cf7f6b750b9f32b58f9b029c6610ce7d77b33c6c422e0cfb784d022c33611820dba98f98dbbb37a99d8bac938ad5776d85f1a7b03dc19a7b8aec92
Homepage: https://github.com/ott-lang/ott
Description: Ott tool (Coq plugin)
Description-md5: 1386de275ec3b4597f33aab7bc4a2ca7
Original-Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Origin: Ubuntu
Bugs: https://bugs.launchpad.net/ubuntu/+filebug