updated on Sun Jan 15 16:02:00 UTC 2012
[aur-mirror.git] / minizinc / 
tree8c6ae4c5cbb82fb7caa2205a8e23d5bf7e5f4e1a
drwxr-xr-x   ..
-rw-r--r-- 1710 PKGBUILD