How to Install and Uninstall minizinc-ide Package on Kali Linux

Last updated: May 19,2024

1. Install "minizinc-ide" package

This guide covers the steps necessary to install minizinc-ide on Kali Linux


    
        
            $
        

        
            
                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 Kali Linux:


    
        
            $
        

        
            
                sudo apt remove
            
                        
                minizinc-ide
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

3. Information about the minizinc-ide package on Kali Linux

Package: minizinc-ide
Version: 2.8.2-1
Installed-Size: 2350
Maintainer: Kari Pahula
Architecture: amd64
Depends: libc6 (>= 2.34), 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 (>= 13.1), minizinc (>= 2.4.1)
Size: 910800
SHA256: c2d0992ea15bf87ca5000df30abef978a0f0a457444571adf1477d9b7b2a225d
SHA1: 001daad65a2c126a0840e2de3ab2691917585d5c
MD5sum: f222594646632477bd8458c2f180f6ec
Description: MiniZinc constraint modelling language IDE
The MiniZinc IDE is a simple Integrated Development Environment for
writing and running MiniZinc models. It provides a tabbed editor with
MiniZinc syntax highlighting, configuration dialogs for solver
options and model parameters, and an integrated environment for
compiling models and running solvers.
Description-md5:
Homepage: http://www.minizinc.org/ide/
Tag: uitoolkit::qt
Section: devel
Priority: optional
Filename: pool/main/m/minizinc-ide/minizinc-ide_2.8.2-1_amd64.deb