How to Install and Uninstall libpolyml-dev Package on Ubuntu 21.04 (Hirsute Hippo)

Last updated: May 04,2024

1. Install "libpolyml-dev" package

Please follow the guidelines below to install libpolyml-dev on Ubuntu 21.04 (Hirsute Hippo)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                libpolyml-dev
            
                    
    
    Copied

2. Uninstall "libpolyml-dev" package

This is a short guide on how to uninstall libpolyml-dev on Ubuntu 21.04 (Hirsute Hippo):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                libpolyml-dev
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

3. Information about the libpolyml-dev package on Ubuntu 21.04 (Hirsute Hippo)

Package: libpolyml-dev
Architecture: amd64
Version: 5.7.1-4build2
Multi-Arch: same
Priority: extra
Section: universe/libdevel
Source: polyml
Origin: Ubuntu
Maintainer: Ubuntu Developers
Original-Maintainer: Debian Science Maintainers
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Installed-Size: 1281
Depends: libpolyml9 (= 5.7.1-4build2)
Filename: pool/universe/p/polyml/libpolyml-dev_5.7.1-4build2_amd64.deb
Size: 227796
MD5sum: 3f152d33f2affc5b9ac2699a970e898a
SHA1: b40a16a4049b4deb1f8f494b1d83ac1594b26850
SHA256: 41d4b321b5bd9ccff3660344a42786308d6ebe5200a6a4232e7359c5cd9ff9ff
SHA512: 48c6a4600160d3645762bb70c318db68eb94efac4d817f091b2c596aa39d86dd353be014e59b279e803b07bee1812a48f950070e66f2be0008d5c6f9fe8a9eea
Homepage: http://www.polyml.org
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