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

Last updated: May 09,2024

1. Install "flatzinc" package

Here is a brief guide to show you how to install flatzinc on Debian 10 (Buster)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                flatzinc
            
                    
    
    Copied

2. Uninstall "flatzinc" package

Please follow the step by step instructions below to uninstall flatzinc on Debian 10 (Buster):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                flatzinc
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

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

Package: flatzinc
Source: gecode
Version: 6.1.0-2
Installed-Size: 114
Maintainer: Kari Pahula
Architecture: amd64
Replaces: libgecode-dev (<< 3.7.0)
Depends: libc6 (>= 2.14), libgcc1 (>= 1:3.0), libgecode48, libgecodeflatzinc48, libgecodegist48, libgmp10, libmpfr6 (>= 3.1.3), libstdc++6 (>= 5.2)
Recommends: minizinc
Description: constraint problem modelling language
Description-md5: 19e3e47e314dec61547f522a6d2e63c0
Homepage: http://www.gecode.org/flatzinc.html
Section: devel
Priority: optional
Filename: pool/main/g/gecode/flatzinc_6.1.0-2_amd64.deb
Size: 66996
MD5sum: 57b828eaaf43e321c53a5e24308fbd86
SHA256: af61d33f0e3247d0fb5108fc0281e17e6e68b13cbfe2fa055d46a04b0f47d700