| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | .SRCINFO | 896 | logstatsplain |
| -rw-r--r-- | PKGBUILD | 1560 | logstatsplain |
| -rw-r--r-- | fzn-gecode-gist-lib-path.patch | 227 | logstatsplain |
| -rw-r--r-- | minizinc-ide.desktop | 233 | logstatsplain |
| -rw-r--r-- | minizinc-ide.install | 496 | logstatsplain |