How to Install and Uninstall mlton-tools Package on Ubuntu 16.04 LTS (Xenial Xerus)

Last updated: November 22,2024

1. Install "mlton-tools" package

This is a short guide on how to install mlton-tools on Ubuntu 16.04 LTS (Xenial Xerus)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                mlton-tools
            
                    
    
    Copied

2. Uninstall "mlton-tools" package

In this section, we are going to explain the necessary steps to uninstall mlton-tools on Ubuntu 16.04 LTS (Xenial Xerus):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                mlton-tools
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

3. Information about the mlton-tools package on Ubuntu 16.04 LTS (Xenial Xerus)

Package: mlton-tools
Priority: optional
Section: universe/devel
Installed-Size: 3917
Maintainer: Ubuntu Developers
Original-Maintainer: Wesley W. Terpstra (Debian)
Architecture: amd64
Source: mlton
Version: 20100608-5.1
Replaces: mlton (<< 20100608-3)
Depends: libc6 (>= 2.14), libgmp10
Breaks: mlton (<< 20100608-3)
Filename: pool/universe/m/mlton/mlton-tools_20100608-5.1_amd64.deb
Size: 1564266
MD5sum: e4c6c81f38d1f6b6df8b1bc4747f4510
SHA1: 306c030ce05aa358d03db23a0b924ffc4521c0cb
SHA256: f6e6b7d43d53b3270be20312f29ea6e28527ba16936e462fedc2b51dd3fb3402
Description-en: Optimizing compiler for Standard ML - tools
MLton is a whole-program optimizing compiler
for Standard ML. MLton generates standalone
executables with excellent runtime performance,
is SML 97 compliant, and has a complete basis
library. MLton has source-level profiling,
a fast C FFI, an interface to the GNU
multiprecision library, and lots of useful
libraries.
.
This package includes tools which autogenerate SML.
Description-md5: a59e92666abcf7288f4e38dd042239e1
Multi-Arch: foreign
Homepage: http://mlton.org/
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Origin: Ubuntu