Package - ott-tools
Primary informations
Download package: http://deb.debian.org/debian/pool/main/o/ott/ott-tools_0.34+ds-1+b4_amd64.deb (Size: 1.4MiB)| Property | Value |
|---|---|
| Package | ott-tools |
| Source | ott (0.34+ds-1) |
| Version | 0.34+ds-1+b4 |
| Installed-Size | 6238 |
| Maintainer | Debian OCaml Maintainers |
| Architecture | amd64 |
| Depends | libc6 (>= 2.38) |
| Description | Ott tool (executable) |
| Description-md5 | c8db65010fca656dfccaba10cb964a11 |
| Homepage | https://github.com/ott-lang/ott |
| Section | ocaml |
| Priority | optional |
| Filename | pool/main/o/ott/ott-tools_0.34+ds-1+b4_amd64.deb |
| Size | 1494060 |
| MD5sum | 4f897eb2c71ebdc08455e629060b81f3 |
| SHA256 | 6ec78f23f4b50e4972a0153bd3955a66d4e69d6b6bd18ba808da6a0f488d23a2 |
Files in package
- /usr/bin/ott
- /usr/share/doc-base/ott-tools.ott-tools
- /usr/share/doc/ott-tools/README.source
- /usr/share/doc/ott-tools/changelog.Debian.amd64.gz
- /usr/share/doc/ott-tools/changelog.Debian.gz
- /usr/share/doc/ott-tools/copyright
- /usr/share/doc/ott-tools/html/top2.html
- /usr/share/man/man1/ott.1.gz