How to Install and Uninstall polyml Package on Ubuntu 23.10 (Mantic Minotaur)

Last updated: May 09,2024

1. Install "polyml" package

Please follow the step by step instructions below to install polyml on Ubuntu 23.10 (Mantic Minotaur)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                polyml
            
                    
    
    Copied

2. Uninstall "polyml" package

Please follow the guidance below to uninstall polyml on Ubuntu 23.10 (Mantic Minotaur):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                polyml
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

3. Information about the polyml package on Ubuntu 23.10 (Mantic Minotaur)

Package: polyml
Architecture: amd64
Version: 5.7.1-5
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: 18001
Depends: file, g++, libffi-dev, polyml-modules (= 5.7.1-5), libc6 (>= 2.34), libpolyml9 (>= 5.7.1~20171120.git44b7b88)
Filename: pool/universe/p/polyml/polyml_5.7.1-5_amd64.deb
Size: 2465350
MD5sum: d704c21f1d49b600c2d32b63cf58e9e6
SHA1: abcc393bf2618e584fbc1205a821b5c7137f6ab4
SHA256: 0f8fdcfd12be9c61c666fc035ebaa04edba5c1fb04ca6b6dcdf25a59f43d30d8
SHA512: d44d658db36caffd33e1bdd5b004b33fd26beb0b6c78875f5bc35b07b5565a4a0d2abbe5b462b8d680c7cea890fceeafcb630f5a59ec269fbd0fa921030d2c5b
Homepage: http://www.polyml.org
Description: interpreter and interactive compiler for Standard ML
Description-md5: 07719a08cb059d017845466f51206251