How to Install and Uninstall ott-tools Package on Ubuntu 23.10 (Mantic Minotaur)

Last updated: November 26,2024

1. Install "ott-tools" package

Please follow the step by step instructions below to install ott-tools on Ubuntu 23.10 (Mantic Minotaur)

$ sudo apt update $ sudo apt install ott-tools

2. Uninstall "ott-tools" package

Please follow the instructions below to uninstall ott-tools on Ubuntu 23.10 (Mantic Minotaur):

$ sudo apt remove ott-tools $ sudo apt autoclean && sudo apt autoremove

3. Information about the ott-tools package on Ubuntu 23.10 (Mantic Minotaur)

Package: ott-tools
Architecture: amd64
Version: 0.33+ds-1build1
Priority: optional
Section: universe/ocaml
Source: ott
Origin: Ubuntu
Maintainer: Ubuntu Developers
Original-Maintainer: Debian OCaml Maintainers
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Installed-Size: 5573
Depends: libc6 (>= 2.35)
Filename: pool/universe/o/ott/ott-tools_0.33+ds-1build1_amd64.deb
Size: 1464034
MD5sum: 553152c1f29cf20de1fab4bb62732a9c
SHA1: 18d9eea7a07fbcfe08cec1e56117c407295a97ad
SHA256: ffbc1fa1d0a27aafbdfcfe9b1a41047f754732aa4823e4cb39fccb04a436cb06
SHA512: 3c8bd0a99348a08321ab72ad4615d3402f114b7959dc4a02dce78c1b9a471f5fc07292a13e642674af3c07a73677a9c7d1bb7d8644a21107bd4dc7e7e007779a
Homepage: https://github.com/ott-lang/ott
Description: Ott tool (executable)
Description-md5: c8db65010fca656dfccaba10cb964a11