How to Install and Uninstall libpolyml-dev Package on Debian 12 (Bookworm)

Last updated: May 04,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 Debian system

MX Linux 23
SparkyLinux

1. Install "libpolyml-dev" package

Please follow the guidance below to install libpolyml-dev on Debian 12 (Bookworm)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                libpolyml-dev
            
                    
    
    Copied

2. Uninstall "libpolyml-dev" package

This guide covers the steps necessary to uninstall libpolyml-dev on Debian 12 (Bookworm):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                libpolyml-dev
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

3. Information about the libpolyml-dev package on Debian 12 (Bookworm)

Package: libpolyml-dev
Source: polyml
Version: 5.7.1-5
Installed-Size: 1217
Maintainer: Debian Science Maintainers
Architecture: amd64
Depends: libpolyml9 (= 5.7.1-5)
Description: development files for Poly/ML, a compiler for Standard ML
Description-md5: db20fd643ea90de1e706c31ed98524f2
Multi-Arch: same
Homepage: http://www.polyml.org
Tag: devel::library, role::devel-lib
Section: libdevel
Priority: optional
Filename: pool/main/p/polyml/libpolyml-dev_5.7.1-5_amd64.deb
Size: 225100
MD5sum: d66e185eefe95dd9a326d7d67f5b7a31
SHA256: 104c4b67f09f320ee257db85dc9309aa1eb838bbdb4a380e107f10129b18b77c