How to Install and Uninstall polyml Package on Ubuntu 16.04 LTS (Xenial Xerus)

Last updated: February 17,2025

1. Install "polyml" package

Learn how to install polyml on Ubuntu 16.04 LTS (Xenial Xerus)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                polyml
            
                    
    
    Copied

2. Uninstall "polyml" package

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


    
        
            $
        

        
            
                sudo apt remove
            
                        
                polyml
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

3. Information about the polyml package on Ubuntu 16.04 LTS (Xenial Xerus)

Package: polyml
Priority: extra
Section: universe/interpreters
Installed-Size: 14777
Maintainer: Ubuntu Developers
Original-Maintainer: Debian Science Maintainers
Architecture: amd64
Version: 5.6-3
Depends: file, gcc, libffi-dev, libc6 (>= 2.2.5), libpolyml7 (>= 5.6)
Filename: pool/universe/p/polyml/polyml_5.6-3_amd64.deb
Size: 1764836
MD5sum: fe1f1e473cdaabde47ee42fa7fe193d3
SHA1: 24fcb15f76bdfd9a073208da8c8f90b66907a65a
SHA256: 6c122233bd721da352f9527aa33540fab3736d78fd05b8bef8f7d6dd82dd305c
Description-en: interpreter and interactive compiler for Standard ML
Poly/ML is an implementation of the Standard ML programming language
Standard ML is a general-purpose, modular, type-safe, strict,
functional programming language. Poly/ML is SML 97 compliant
interpreter and compiler that supports the generation of stand-alone
executables with an interactive toplevel (REPL).
.
This package provides the top-level interpreter and compiler.
Description-md5: 07719a08cb059d017845466f51206251
Multi-Arch: foreign
Homepage: http://www.polyml.org
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Origin: Ubuntu