Quellcode-Paket: minizinc-ide (2.8.2-1build2) [universe]
Links für minizinc-ide
Ubuntu-Ressourcen:
Betreuer:
Please consider filing a bug or asking a question via Launchpad before contacting the maintainer directly.
Original Maintainer (usually from Debian):
- Kari Pahula
It should generally not be necessary for users to contact the original maintainer.
Externe Ressourcen:
- Homepage [www.minizinc.org]
Die folgenden Binärpakete werden aus diesem Quellcode-Paket gebaut:
- minizinc-ide
- MiniZinc constraint modelling language IDE
Andere Pakete mit Bezug zu 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
-
- adep: libqt5websockets5-dev
- Qt 5 Web Sockets module - development files
Download minizinc-ide
| Datei | Größe (in kB) | MD5-Prüfsumme |
|---|---|---|
| minizinc-ide_2.8.2-1build2.dsc | 1,8 kB | d9b5168d323cdf0a7a9f4654d2ad3dd4 |
| minizinc-ide_2.8.2.orig.tar.gz | 815,5 kB | 9236e3238af3ece8b09aad41cba5f302 |
| minizinc-ide_2.8.2-1build2.debian.tar.xz | 13,1 kB | a65f331d04746b923469afbac95c876d |