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

Last updated: May 18,2024

1. Install "minizinc" package

In this section, we are going to explain the necessary steps to install minizinc on Debian 10 (Buster)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                minizinc
            
                    
    
    Copied

2. Uninstall "minizinc" package

Please follow the steps below to uninstall minizinc on Debian 10 (Buster):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                minizinc
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

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

Package: minizinc
Version: 2.1.7+dfsg1-1
Installed-Size: 10471
Maintainer: Kari Pahula
Architecture: amd64
Depends: libc6 (>= 2.23), libgcc1 (>= 1:3.0), libstdc++6 (>= 5.2), flatzinc (>= 5.1.0-1)
Description: constraint modelling language and tool chain
Description-md5: 2e28409cc66f9a9140d34ec21324d233
Homepage: http://www.minizinc.org/
Section: devel
Priority: optional
Filename: pool/main/m/minizinc/minizinc_2.1.7+dfsg1-1_amd64.deb
Size: 1774416
MD5sum: 93bfffbfc3e2cf57c1db2fed9934c5ea
SHA256: ba583a5ec84167ed26d899bc227d4ab90360b485fda655134d8f8158fe00ac33