How to Install and Uninstall mlton-runtime-native Package on Linux Mint 20.3 (Una)
Last updated: December 29,2024
1. Install "mlton-runtime-native" package
This is a short guide on how to install mlton-runtime-native on Linux Mint 20.3 (Una)
$
sudo apt update
Copied
$
sudo apt install
mlton-runtime-native
Copied
2. Uninstall "mlton-runtime-native" package
Please follow the step by step instructions below to uninstall mlton-runtime-native on Linux Mint 20.3 (Una):
$
sudo apt remove
mlton-runtime-native
Copied
$
sudo apt autoclean && sudo apt autoremove
Copied
3. Information about the mlton-runtime-native package on Linux Mint 20.3 (Una)
Package: mlton-runtime-native
Architecture: amd64
Version: 20130715-3
Priority: optional
Section: universe/devel
Source: mlton
Origin: Ubuntu
Maintainer: Ubuntu Developers
Original-Maintainer: Wesley W. Terpstra
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Installed-Size: 20
Depends: mlton-runtime-x86-64-linux-gnu (= 20130715-3)
Filename: pool/universe/m/mlton/mlton-runtime-native_20130715-3_amd64.deb
Size: 3012
MD5sum: 58e1dfd1941d330309c10c0d28de3ab0
SHA1: 2626f77c27e58db9f0c9ac9dee185dc39d78fe43
SHA256: 15e5623d7a7af82e3788a676b600a923fb5d240230a26319dc4f881d8d38f03e
Homepage: http://mlton.org/
Description: Optimizing compiler for Standard ML - native runtime libraries
Description-md5: aaa1242a14bcc5b72e574200bbb7f6da
Architecture: amd64
Version: 20130715-3
Priority: optional
Section: universe/devel
Source: mlton
Origin: Ubuntu
Maintainer: Ubuntu Developers
Original-Maintainer: Wesley W. Terpstra
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Installed-Size: 20
Depends: mlton-runtime-x86-64-linux-gnu (= 20130715-3)
Filename: pool/universe/m/mlton/mlton-runtime-native_20130715-3_amd64.deb
Size: 3012
MD5sum: 58e1dfd1941d330309c10c0d28de3ab0
SHA1: 2626f77c27e58db9f0c9ac9dee185dc39d78fe43
SHA256: 15e5623d7a7af82e3788a676b600a923fb5d240230a26319dc4f881d8d38f03e
Homepage: http://mlton.org/
Description: Optimizing compiler for Standard ML - native runtime libraries
Description-md5: aaa1242a14bcc5b72e574200bbb7f6da