| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | .SRCINFO | 896 | logstatsplain |
| -rw-r--r-- | PKGBUILD | 1570 | logstatsplain |
| -rw-r--r-- | fzn-gecode-gist-lib-path.patch | 316 | logstatsplain |
| -rw-r--r-- | minizinc-ide.desktop | 212 | logstatsplain |
| -rw-r--r-- | minizinc-ide.install | 505 | logstatsplain |