packagesPakiet źródłowy: minizinc-ide (2.8.5-1) [universe]
Odnośniki dla minizinc-ide
Zasoby systemu Ubuntu:
Opiekun:
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.
Zasoby zewnętrzne:
- Strona internetowa [www.minizinc.org]
Z tego pakietu źródłowego zbudowano następujące pakiety binarne:
- minizinc-ide
- MiniZinc constraint modelling language IDE
Inne pakiety związane z 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
| Plik | Rozmiar (w KiB) | Suma kontrolna MD5 |
|---|---|---|
| minizinc-ide_2.8.5-1.dsc | 1,8 KiB | e5cbe80a40f655cc2783b04e688237ab |
| minizinc-ide_2.8.5.orig.tar.gz | 815,6 KiB | 951408b6404d41b05301b5cdf7bcd9ac |
| minizinc-ide_2.8.5-1.debian.tar.xz | 8,9 KiB | db721841b94b7ca6c396e602ae6fb560 |