Source Package: minizinc-ide (2.5.3-1)
Links for minizinc-ide
Debian Resources:
Maintainer:
External Resources:
- Homepage [www.minizinc.org]
The following binary packages are built from this source package:
- minizinc-ide
- MiniZinc constraint modelling language IDE
Other Packages Related to minizinc-ide
|
|
-
- adep: debhelper (>= 11)
- helper programs for debian/rules
-
- adep: qt5-qmake
- Qt 5 qmake Makefile generator tool
-
- adep: qtwebengine5-dev
- Web content engine library for Qt - development files
Download minizinc-ide
| File | Size (in kB) | MD5 checksum |
|---|---|---|
| minizinc-ide_2.5.3-1.dsc | 1.7 kB | 5b6dc28febd7a44cd6896ec9fc51547c |
| minizinc-ide_2.5.3.orig.tar.gz | 779.7 kB | ab131c94e3ec250c33256ee7f0a1b3d3 |
| minizinc-ide_2.5.3-1.debian.tar.xz | 12.7 kB | b13551c7b482b5915e99a0c0ed3f43d9 |