How to Install and Uninstall mlton-tools Package on Ubuntu 23.10 (Mantic Minotaur)
Last updated: November 07,2024
1. Install "mlton-tools" package
Please follow the guidance below to install mlton-tools on Ubuntu 23.10 (Mantic Minotaur)
$
sudo apt update
Copied
$
sudo apt install
mlton-tools
Copied
2. Uninstall "mlton-tools" package
This is a short guide on how to uninstall mlton-tools on Ubuntu 23.10 (Mantic Minotaur):
$
sudo apt remove
mlton-tools
Copied
$
sudo apt autoclean && sudo apt autoremove
Copied
3. Information about the mlton-tools package on Ubuntu 23.10 (Mantic Minotaur)
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
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