Package: libcoq-ott
Architecture: amd64
Version: 0.33+ds-4build4
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: 740
Provides: libcoq-ott-ggt46
Depends: libcoq-stdlib-dksn3
Filename: pool/universe/o/ott/libcoq-ott_0.33+ds-4build4_amd64.deb
Size: 190042
MD5sum: 2dcc279ae77e23b6f2eca8587f82e30b
SHA1: c36af8ebb461cc14b13f16356a74e2c3a13e8aad
SHA256: dca64c58fac88f9d4758e8c5757db8639f03759b751c4eb575951e6ee576192a
SHA512: 1757b724c254848c52eaea657b8750cb863a827fb56da079c77a1e1a5c1ab58d30ea34ed3e6ab279cb07bcc139365a1c577196a19ba91374667902f286a8a54b
Homepage: https://github.com/ott-lang/ott
Description: Ott tool (Coq plugin)
Description-md5: 1386de275ec3b4597f33aab7bc4a2ca7