How to Install and Uninstall libpolyml-dev Package on Ubuntu 23.10 (Mantic Minotaur)

Last updated: December 27,2024

1. Install "libpolyml-dev" package

Please follow the guidance below to install libpolyml-dev on Ubuntu 23.10 (Mantic Minotaur)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                libpolyml-dev
            
                    
    
    Copied

2. Uninstall "libpolyml-dev" package

Please follow the guidance below to uninstall libpolyml-dev on Ubuntu 23.10 (Mantic Minotaur):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                libpolyml-dev
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

3. Information about the libpolyml-dev package on Ubuntu 23.10 (Mantic Minotaur)

Package: libpolyml-dev
Architecture: amd64
Version: 5.7.1-5
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: 1227
Depends: libpolyml9 (= 5.7.1-5)
Filename: pool/universe/p/polyml/libpolyml-dev_5.7.1-5_amd64.deb
Size: 250142
MD5sum: b69bc3c71f769bff73f07fbabe8ba58f
SHA1: 1898ab2ccb732ec1279b0a0ec5a8e98c4bbd98f3
SHA256: 1d1486f4be40c15e66e1ef6db329e74eb0d2451db262a29a8f181c7f882b7d5b
SHA512: d11850df15652c54a7a41230759b3e21cd6c9b9d5767bed91f9a362ebf1711a15866467a710bf3fd96fd1fafa43a56cfe471de886c3bb5feb9116c866671ab05
Homepage: http://www.polyml.org
Description: development files for Poly/ML, a compiler for Standard ML
Description-md5: db20fd643ea90de1e706c31ed98524f2