How to Install and Uninstall minizinc-ide Package on Debian 12 (Bookworm)

Last updated: May 15,2024

You can also install and uninstall the minizinc-ide on the following distributions in the same way, as they are all based on the Debian system

MX Linux 23
SparkyLinux

1. Install "minizinc-ide" package

Please follow the guidelines below to install minizinc-ide on Debian 12 (Bookworm)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                minizinc-ide
            
                    
    
    Copied

2. Uninstall "minizinc-ide" package

Please follow the guidance below to uninstall minizinc-ide on Debian 12 (Bookworm):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                minizinc-ide
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

3. Information about the minizinc-ide package on Debian 12 (Bookworm)

Package: minizinc-ide
Version: 2.6.3-1
Installed-Size: 2234
Maintainer: Kari Pahula
Architecture: amd64
Depends: libc6 (>= 2.32), libgcc-s1 (>= 3.0), libqt5core5a (>= 5.15.1), libqt5gui5 (>= 5.14.1) | libqt5gui5-gles (>= 5.14.1), libqt5network5 (>= 5.14.1), libqt5sql5 (>= 5.0.2), libqt5websockets5 (>= 5.6.0), libqt5widgets5 (>= 5.14.1), libstdc++6 (>= 11), minizinc (>= 2.4.1)
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.6.3-1_amd64.deb
Size: 867132
MD5sum: 393d4ce96612cbecc0cfa5d22a49859f
SHA256: 672151f5c71871fedcd3183cb6e210c5fb07c4e41c4d17b666db6afd14b572d4