How to Install and Uninstall mlton-tools Package on Ubuntu 22.10 (Kinetic Kudu)

Last updated: December 25,2024

1. Install "mlton-tools" package

This tutorial shows how to install mlton-tools on Ubuntu 22.10 (Kinetic Kudu)

$ sudo apt update $ sudo apt install mlton-tools

2. Uninstall "mlton-tools" package

This tutorial shows how to uninstall mlton-tools on Ubuntu 22.10 (Kinetic Kudu):

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

3. Information about the mlton-tools package on Ubuntu 22.10 (Kinetic Kudu)

Package: mlton-tools
Architecture: amd64
Version: 20210117+dfsg-3
Multi-Arch: foreign
Priority: optional
Section: universe/devel
Source: mlton
Origin: Ubuntu
Maintainer: Ubuntu Developers
Original-Maintainer: Ryan Kavanagh
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Installed-Size: 1853
Depends: libc6 (>= 2.34), libgmp10 (>= 2:6.2.1+dfsg)
Filename: pool/universe/m/mlton/mlton-tools_20210117+dfsg-3_amd64.deb
Size: 422878
MD5sum: 555f643b37f0d5f02eeecb2b86fe0c76
SHA1: 980097e208e844c53a37f396c47368ced285a330
SHA256: 4d8c1ed4ab582a71abe7610493265442a1b29eed686fb0a57d446625b98642fc
SHA512: 650af111949137f870cd82b644056d28e94cd36fc7d8139e38ebf2f4dd90b50d2c0fe181f8d2300ad19ce308fb6fdef17acaf17777a0c27cc6b502c9fd325148
Homepage: http://mlton.org/
Description: Optimizing compiler for Standard ML - tools
Description-md5: 0a856ef6351dbb90a7ca45303a4acb10