Package: libcoq-ott
Source: ott
Priority: optional
Section: universe/ocaml
Installed-Size: 546
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Architecture: amd64
Version: 0.34+ds-1build7
Provides: libcoq-ott-i6wh0
Depends: libcoq-stdlib-83lq0
Filename: pool/universe/o/ott/libcoq-ott_0.34+ds-1build7_amd64.deb
Size: 182540
MD5sum: 20a83cbc1bdcb2d8534a7bbf89526677
SHA1: c64d7eba06f4426faca0af2ce5112977abd45cd6
SHA256: 4644c12df113b99ee31e728990aea4ec66e433445a3d6566c1b261de22af1fa8
SHA512: 3fa7940f467a63fa46781bbf07405ac82da79ff36999580040dd9077283bdfaee1e353add4b9cb46762c4b5678d77d13757956e9d61761659adb088f8c5f6034
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