How to Install and Uninstall polyml Package on Debian 11 (Bullseye)

Last updated: May 17,2024

1. Install "polyml" package

Here is a brief guide to show you how to install polyml on Debian 11 (Bullseye)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                polyml
            
                    
    
    Copied

2. Uninstall "polyml" package

In this section, we are going to explain the necessary steps to uninstall polyml on Debian 11 (Bullseye):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                polyml
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

3. Information about the polyml package on Debian 11 (Bullseye)

Package: polyml
Version: 5.7.1-4
Installed-Size: 18007
Maintainer: Debian Science Maintainers
Architecture: amd64
Depends: file, g++, libffi-dev, polyml-modules (= 5.7.1-4), 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-4_amd64.deb
Size: 1998556
MD5sum: 14fa0e85078ae1ed4e8a3c4777de573d
SHA256: d8892f5511d79dac4a692b232df47655d3249cb89dae5ce64da85f9a9a46623b