How to Install and Uninstall polyml Package on Ubuntu 22.10 (Kinetic Kudu)

Last updated: May 03,2024

1. Install "polyml" package

This guide covers the steps necessary to install polyml on Ubuntu 22.10 (Kinetic Kudu)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                polyml
            
                    
    
    Copied

2. Uninstall "polyml" package

This is a short guide on how to uninstall polyml on Ubuntu 22.10 (Kinetic Kudu):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                polyml
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

3. Information about the polyml package on Ubuntu 22.10 (Kinetic Kudu)

Package: polyml
Architecture: amd64
Version: 5.7.1-4ubuntu1
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: 18004
Depends: file, g++, libffi-dev, polyml-modules (= 5.7.1-4ubuntu1), libc6 (>= 2.34), libpolyml9 (>= 5.7.1~20171120.git44b7b88)
Filename: pool/universe/p/polyml/polyml_5.7.1-4ubuntu1_amd64.deb
Size: 2565580
MD5sum: eb444f12fd298a8176e23e9a92b86d7c
SHA1: ed55d9157df8f5d679c8700da677c038512aacb8
SHA256: 314192570770412f33778bbffa9c63ee0e5ce4664f5feb2795e745695d0384a4
SHA512: 1f2273cfdb52e1112b1bcd242e8767702d6f10f47a28a9c80299dba51d23f2a4bd647a0376e9271f09e770506020966ebc94fe2b1d5d490926b1a6dbfbf1b070
Homepage: http://www.polyml.org
Description: interpreter and interactive compiler for Standard ML
Description-md5: 07719a08cb059d017845466f51206251