/usr/ is in minizinc-ide 2.0.10-1.
This file is owned by root:root, with mode 0o755.
| File | Mime Type | Owner | Mode | Size |
|---|---|---|---|---|
..
|
||||
/usr/bin/
|
root:root | 0o755 | ||
/usr/bin/minizinc-ide
|
application/x-executable | root:root | 0o755 | 724.0 KB |
/usr/bin/fzn-gecode-gist
|
text/x-shellscript | root:root | 0o755 | 47 bytes |
/usr/share/
|
root:root | 0o755 | ||
/usr/share/doc/
|
root:root | 0o755 | ||
/usr/share/doc/minizinc-ide/
|
root:root | 0o755 | ||
/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/doc/minizinc-ide/changelog.Debian.gz
|
application/gzip | root:root | 0o644 | 300 bytes |
/usr/share/applications/
|
root:root | 0o755 | ||
/usr/share/applications/minizinc-ide.desktop
|
text/plain | root:root | 0o644 | 252 bytes |
/usr/share/pixmaps/
|
root:root | 0o755 | ||
/usr/share/pixmaps/minizinc.xpm
|
image/x-xpmi | root:root | 0o644 | 16.9 KB |