How to Install and Uninstall polyml Package on Debian 10 (Buster)

Last updated: November 25,2024

1. Install "polyml" package

Please follow the step by step instructions below to install polyml on Debian 10 (Buster)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                polyml
            
                    
    
    Copied

2. Uninstall "polyml" package

Learn how to uninstall polyml on Debian 10 (Buster):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                polyml
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

3. Information about the polyml package on Debian 10 (Buster)

Package: polyml
Version: 5.7.1-2
Installed-Size: 17995
Maintainer: Debian Science Maintainers
Architecture: amd64
Depends: file, g++, libffi-dev, polyml-modules (= 5.7.1-2), libc6 (>= 2.2.5), 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-2_amd64.deb
Size: 1997464
MD5sum: 272ad4f0a684f6caaaab7269acd89fe5
SHA256: be43c72611bb3dd2dac0fb387c2b5e8bbf1359711e5019274c7f2bad5b682320