How to Install and Uninstall libpolyml9 Package on Ubuntu 21.04 (Hirsute Hippo)

Last updated: December 23,2024

1. Install "libpolyml9" package

Please follow the step by step instructions below to install libpolyml9 on Ubuntu 21.04 (Hirsute Hippo)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                libpolyml9
            
                    
    
    Copied

2. Uninstall "libpolyml9" package

Please follow the guidance below to uninstall libpolyml9 on Ubuntu 21.04 (Hirsute Hippo):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                libpolyml9
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

3. Information about the libpolyml9 package on Ubuntu 21.04 (Hirsute Hippo)

Package: libpolyml9
Architecture: amd64
Version: 5.7.1-4build2
Multi-Arch: same
Priority: optional
Section: universe/libs
Source: polyml
Origin: Ubuntu
Maintainer: Ubuntu Developers
Original-Maintainer: Debian Science Maintainers
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Installed-Size: 556
Depends: libc6 (>= 2.29), libffi8ubuntu1 (>= 3.4~20200819), libgcc-s1 (>= 3.0), libstdc++6 (>= 5)
Filename: pool/universe/p/polyml/libpolyml9_5.7.1-4build2_amd64.deb
Size: 188592
MD5sum: 1dcbb94120ce37eacc47f9c4330b4460
SHA1: c0331f2493bdb4f3565b458dc67b45c5063411f4
SHA256: 18a68a2686cb54821c3057793440e0784fcf9a52fedf46fcc8ae0c1020ea50a5
SHA512: f7249c5264b0b9ac2064cf84abd54d7e51c350b6795f1a7c00229afff07b2a3b48af9300502ae766444e86d6d0f3e9ba1d710506b6ca392312760df06f9498d4
Homepage: http://www.polyml.org
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