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

Last updated: May 18,2024

1. Install "minizinc-ide" package

Please follow the step by step instructions below to install minizinc-ide on Debian 10 (Buster)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                minizinc-ide
            
                    
    
    Copied

2. Uninstall "minizinc-ide" package

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


    
        
            $
        

        
            
                sudo apt remove
            
                        
                minizinc-ide
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

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

Package: minizinc-ide
Version: 2.1.7-1
Installed-Size: 735
Maintainer: Kari Pahula
Architecture: amd64
Depends: libc6 (>= 2.14), libgcc1 (>= 1:3.0), libgl1, libqt5core5a (>= 5.9.0~beta), libqt5gui5 (>= 5.2.0), libqt5network5 (>= 5.0.2), libqt5webkit5 (>= 5.6.0~rc), libqt5widgets5 (>= 5.2.0~alpha1), libstdc++6 (>= 5.2), minizinc
Description: MiniZinc constraint modelling language IDE
Description-md5: 6c1da2389080c6ea2a47ebc0cb4a43cc
Homepage: http://www.minizinc.org/ide/
Tag: uitoolkit::qt
Section: devel
Priority: optional
Filename: pool/main/m/minizinc-ide/minizinc-ide_2.1.7-1_amd64.deb
Size: 250072
MD5sum: 68258cff1661e17f82d1cacdde3dd9c0
SHA256: 0953e34069403d06f85e0f3b89f46cf079d341d5d204d00722991e919555c798