How to Install and Uninstall minizinc-ide Package on Ubuntu 23.10 (Mantic Minotaur)

Last updated: December 25,2024

1. Install "minizinc-ide" package

This guide covers the steps necessary to install minizinc-ide on Ubuntu 23.10 (Mantic Minotaur)

$ sudo apt update $ sudo apt install minizinc-ide

2. Uninstall "minizinc-ide" package

Please follow the guidance below to uninstall minizinc-ide on Ubuntu 23.10 (Mantic Minotaur):

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

3. Information about the minizinc-ide package on Ubuntu 23.10 (Mantic Minotaur)

Package: minizinc-ide
Architecture: amd64
Version: 2.6.3-1
Priority: extra
Section: universe/devel
Origin: Ubuntu
Maintainer: Ubuntu Developers
Original-Maintainer: Kari Pahula
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Installed-Size: 2111
Depends: libc6 (>= 2.34), libgcc-s1 (>= 3.3.1), 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)
Filename: pool/universe/m/minizinc-ide/minizinc-ide_2.6.3-1_amd64.deb
Size: 886406
MD5sum: adeece98d9a5f10648b9bb61866b3c5c
SHA1: b2bf56fe4689b5751e879967f1679aee1e9d1104
SHA256: 8911d5117287823f456dc1097801450439f13c7b78089ba1842e5738a3d6b567
SHA512: 0c22ac8a6de74a75b2047a55edcebae23bea7d28b5ec41655503a394b3bc86e7cf8ce7a89e89e3a811486d5ce9fc45c6700cf0209a634184b9b45c0291d5c26b
Homepage: http://www.minizinc.org/ide/
Description: MiniZinc constraint modelling language IDE
Description-md5: 6c1da2389080c6ea2a47ebc0cb4a43cc