How to Install and Uninstall libpolyml-dev Package on Ubuntu 16.04 LTS (Xenial Xerus)

Last updated: January 11,2025

1. Install "libpolyml-dev" package

Please follow the steps below to install libpolyml-dev on Ubuntu 16.04 LTS (Xenial Xerus)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                libpolyml-dev
            
                    
    
    Copied

2. Uninstall "libpolyml-dev" package

This guide covers the steps necessary to uninstall libpolyml-dev on Ubuntu 16.04 LTS (Xenial Xerus):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                libpolyml-dev
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

3. Information about the libpolyml-dev package on Ubuntu 16.04 LTS (Xenial Xerus)

Package: libpolyml-dev
Priority: extra
Section: universe/libdevel
Installed-Size: 1220
Maintainer: Ubuntu Developers
Original-Maintainer: Debian Science Maintainers
Architecture: amd64
Source: polyml
Version: 5.6-3
Depends: libpolyml7 (= 5.6-3)
Filename: pool/universe/p/polyml/libpolyml-dev_5.6-3_amd64.deb
Size: 221984
MD5sum: 34fa4f9750b1d436b2859499211f29e9
SHA1: 8c078d495e44644afa87d6ea0cbd8e882f2dd172
SHA256: 993b0654544e7c965caea6be85f8c865c07089eabfe529fb11b72c6ec50fd6c9
Description-en: development 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 compile stand-alone executables
with Poly/ML.
Description-md5: db20fd643ea90de1e706c31ed98524f2
Multi-Arch: same
Homepage: http://www.polyml.org
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Origin: Ubuntu