How to Install and Uninstall libpolyml-dev Package on Ubuntu 22.04 LTS (Jammy Jellyfish)

Last updated: November 23,2024

You can also install and uninstall the libpolyml-dev on the following distributions in the same way, as they are all based on the Ubuntu system

Kubuntu 22.04 LTS
Lubuntu 22.04 LTS
Xubuntu 22.04 LTS
Ubuntu MATE 22.04 LTS
Ubuntu Studio 22.04 LTS
Pop!_OS 22.04 LTS
Zorin OS 16 / Zorin OS 17
Ubuntu Budgie 22.04

1. Install "libpolyml-dev" package

Please follow the steps below to install libpolyml-dev on Ubuntu 22.04 LTS (Jammy Jellyfish)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                libpolyml-dev
            
                    
    
    Copied

2. Uninstall "libpolyml-dev" package

Please follow the steps below to uninstall libpolyml-dev on Ubuntu 22.04 LTS (Jammy Jellyfish):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                libpolyml-dev
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

3. Information about the libpolyml-dev package on Ubuntu 22.04 LTS (Jammy Jellyfish)

Package: libpolyml-dev
Architecture: amd64
Version: 5.7.1-4ubuntu1
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: 1233
Depends: libpolyml9 (= 5.7.1-4ubuntu1)
Filename: pool/universe/p/polyml/libpolyml-dev_5.7.1-4ubuntu1_amd64.deb
Size: 252412
MD5sum: 469d8f9fbb51ddbf4423564bc5b38549
SHA1: f46572a94f678b6d24fced58ba61ecef662504ba
SHA256: 08d560b44a6e6c97d9f9bd63bac5a1f36f17ec0c605d7ea536220fc7651b2f29
SHA512: 0949c8497bbaef7ae2bdf46fe78c702680af57ae8334bd5e2a000791acc2e68d11a33d8ae29e0b4e33dbc339a05579269655c0294bf45dbba723a2c4bbf2ae13
Homepage: http://www.polyml.org
Description: development files for Poly/ML, a compiler for Standard ML
Description-md5: db20fd643ea90de1e706c31ed98524f2