How to Install and Uninstall polyml Package on Debian 12 (Bookworm)

Last updated: May 16,2024

You can also install and uninstall the polyml on the following distributions in the same way, as they are all based on the Debian system

MX Linux 23
SparkyLinux

1. Install "polyml" package

This guide let you learn how to install polyml on Debian 12 (Bookworm)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                polyml
            
                    
    
    Copied

2. Uninstall "polyml" package

Please follow the guidelines below to uninstall polyml on Debian 12 (Bookworm):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                polyml
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

3. Information about the polyml package on Debian 12 (Bookworm)

Package: polyml
Version: 5.7.1-5
Installed-Size: 18001
Maintainer: Debian Science Maintainers
Architecture: amd64
Depends: file, g++, libffi-dev, polyml-modules (= 5.7.1-5), libc6 (>= 2.34), libpolyml9 (>= 5.7.1~20171120.git44b7b88)
Description: interpreter and interactive compiler for Standard ML
Description-md5: 07719a08cb059d017845466f51206251
Multi-Arch: foreign
Homepage: http://www.polyml.org
Tag: devel::compiler, devel::interpreter, devel::lang:ml, role::program
Section: interpreters
Priority: optional
Filename: pool/main/p/polyml/polyml_5.7.1-5_amd64.deb
Size: 1995400
MD5sum: 83f2b50f7ddabb0e598b7dff64d0daa2
SHA256: 2d957530114cb7361ec3fda2115cdf4911e72ddc754e273bc125b06d9a031254