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

Last updated: May 18,2024

1. Install "libpolyml7" package

Here is a brief guide to show you how to install libpolyml7 on Ubuntu 16.04 LTS (Xenial Xerus)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                libpolyml7
            
                    
    
    Copied

2. Uninstall "libpolyml7" package

This tutorial shows how to uninstall libpolyml7 on Ubuntu 16.04 LTS (Xenial Xerus):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                libpolyml7
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

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

Package: libpolyml7
Priority: extra
Section: universe/libs
Installed-Size: 537
Maintainer: Ubuntu Developers
Original-Maintainer: Debian Science Maintainers
Architecture: amd64
Source: polyml
Version: 5.6-3
Depends: libc6 (>= 2.15), libffi6 (>= 3.0.4), libgcc1 (>= 1:3.0), libstdc++6 (>= 4.1.1)
Filename: pool/universe/p/polyml/libpolyml7_5.6-3_amd64.deb
Size: 184068
MD5sum: 6e802e62fd6c0501651931b838835d9f
SHA1: f9fc4136c54164ab0fff40a472e109b419f0d51b
SHA256: fc27a424df965b1400635aecda618c9687bbc9561198e8c8c10cf260e4e63a37
Description-en: runtime files for Poly/ML, a 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 files needed to run stand-alone executables
built with Poly/ML.
Description-md5: 6e1db82c6b32728b54ff598cdd28d4f4
Multi-Arch: same
Homepage: http://www.polyml.org
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Origin: Ubuntu