How to Install and Uninstall minizinc-ide Package on Linux Mint 20.3 (Una)

Last updated: May 18,2024

1. Install "minizinc-ide" package

This guide covers the steps necessary to install minizinc-ide on Linux Mint 20.3 (Una)

$ sudo apt update $ sudo apt install minizinc-ide

2. Uninstall "minizinc-ide" package

Please follow the guidelines below to uninstall minizinc-ide on Linux Mint 20.3 (Una):

$ sudo apt remove minizinc-ide $ sudo apt autoclean && sudo apt autoremove

3. Information about the minizinc-ide package on Linux Mint 20.3 (Una)

Package: minizinc-ide
Architecture: amd64
Version: 2.4.2-2build1
Priority: extra
Section: universe/devel
Origin: Ubuntu
Maintainer: Ubuntu Developers
Original-Maintainer: Kari Pahula
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Installed-Size: 1198
Depends: libc6 (>= 2.14), libgcc-s1 (>= 3.0), libqt5core5a (>= 5.12.2), libqt5gui5 (>= 5.6.0~beta) | libqt5gui5-gles (>= 5.6.0~beta), libqt5network5 (>= 5.0.2), libqt5webchannel5 (>= 5.6.1), libqt5webenginewidgets5 (>= 5.7.1), libqt5widgets5 (>= 5.0.2), libstdc++6 (>= 5.2), minizinc (>= 2.4.1)
Filename: pool/universe/m/minizinc-ide/minizinc-ide_2.4.2-2build1_amd64.deb
Size: 541712
MD5sum: 2cdbb7d30e3706540d0575eda19dbaaf
SHA1: 5794edbda8f3ee044db594689f13cb5b47944dce
SHA256: a32f48742b6c3e50043c712e25de544933e9dad04443532db6df320821bd652e
Homepage: http://www.minizinc.org/ide/
Description: MiniZinc constraint modelling language IDE
Description-md5: 6c1da2389080c6ea2a47ebc0cb4a43cc