This package is 275.1 KB.
It is available at http://archive.ubuntu.com/ubuntu/pool/universe/m/minizinc-ide/minizinc-ide_2.0.10-1_amd64.deb
.
View its full control file here:
debian/control.
MiniZinc constraint modelling language IDE
This package depends on:
libc6 (>= 2.14), libgcc1 (>= 1:3.0), libqt5core5a (>= 5.5.0), libqt5gui5 (>= 5.0.2) | libqt5gui5-gles (>= 5.0.2), libqt5network5 (>= 5.0.2), libqt5webkit5 (>= 5.0.2), libqt5widgets5 (>= 5.2.0), libstdc++6 (>= 5.2), minizinc.
This package does not recommend any other package.
This package does not suggest any other package.
This package does not conflict with any other package.
minizinc-ide 2.0.10-1 is in ubuntu - xenial / universe. This package's architecture is: amd64.
| File | Mime Type | Owner | Mode | Size |
|---|---|---|---|---|
/usr/
|
root:root | 0o755 | ||
/usr/bin/
|
root:root | 0o755 | ||
/usr/bin/fzn-gecode-gist
|
text/x-shellscript | root:root | 0o755 | 47 bytes |
/usr/bin/minizinc-ide
|
application/x-executable | root:root | 0o755 | 724.0 KB |
/usr/share/
|
root:root | 0o755 | ||
/usr/share/applications/
|
root:root | 0o755 | ||
/usr/share/applications/minizinc-ide.desktop
|
text/plain | root:root | 0o644 | 252 bytes |
/usr/share/doc/
|
root:root | 0o755 | ||
/usr/share/doc/minizinc-ide/
|
root:root | 0o755 | ||
/usr/share/doc/minizinc-ide/changelog.Debian.gz
|
application/gzip | root:root | 0o644 | 300 bytes |
/usr/share/doc/minizinc-ide/copyright
|
text/plain | root:root | 0o644 | 18.1 KB |
/usr/share/doc/minizinc-ide/TODO
|
text/plain | root:root | 0o644 | 1.4 KB |
/usr/share/pixmaps/
|
root:root | 0o755 | ||
/usr/share/pixmaps/minizinc.xpm
|
image/x-xpmi | root:root | 0o644 | 16.9 KB |