Package: libcoq-ott
Architecture: amd64
Version: 0.33+ds-2build3
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: 725
Provides: libcoq-ott-hd2r1
Depends: libcoq-stdlib-eg0o0
Filename: pool/universe/o/ott/libcoq-ott_0.33+ds-2build3_amd64.deb
Size: 181698
MD5sum: 3fc6cb60deca079f241c3f1128c24f7a
SHA1: 8ac14959b1797a86937110efa84a959f143310fa
SHA256: 4f358cfbe5f6535cb5924827d2fe54f6811591464a3bc8cd12bcf124871cced2
SHA512: 4c2dbcb82c8a2b93c2357cd574f2707f95d0a64eb9fb81da59e808d7f3c9d33031951fe130b414c525d478258479f13f8adc4da84581e715eb4b35f1202ed18f
Homepage: https://github.com/ott-lang/ott
Description: Ott tool (Coq plugin)
Description-md5: 1386de275ec3b4597f33aab7bc4a2ca7