How to Install and Uninstall polyml Package on Ubuntu 18.04 LTS (Bionic Beaver)

Last updated: May 17,2024

1. Install "polyml" package

Please follow the steps below to install polyml on Ubuntu 18.04 LTS (Bionic Beaver)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                polyml
            
                    
    
    Copied

2. Uninstall "polyml" package

Please follow the guidance below to uninstall polyml on Ubuntu 18.04 LTS (Bionic Beaver):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                polyml
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

3. Information about the polyml package on Ubuntu 18.04 LTS (Bionic Beaver)

Package: polyml
Architecture: amd64
Version: 5.7.1-1
Multi-Arch: foreign
Priority: extra
Section: universe/interpreters
Origin: Ubuntu
Maintainer: Ubuntu Developers
Original-Maintainer: Debian Science Maintainers
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Installed-Size: 17995
Depends: file, g++, libffi-dev, polyml-modules (= 5.7.1-1), libc6 (>= 2.2.5), libpolyml9 (>= 5.7.1~20171120.git44b7b88)
Filename: pool/universe/p/polyml/polyml_5.7.1-1_amd64.deb
Size: 1994536
MD5sum: 0df60c9ffc1ac70439a9e6dbbcfc7995
SHA1: d9916f6da7d4b39e13b88777d2b08acca2f6f558
SHA256: 7a727def5c3ccc8e1b3572271bdb330cc506896ce5c2b4a0d2bbf81d8d57f154
Homepage: http://www.polyml.org
Description: interpreter and interactive compiler for Standard ML
Description-md5: 07719a08cb059d017845466f51206251