updated on Thu Jan 26 16:09:46 UTC 2012master
[aur-mirror.git] / minizinc / 
tree8c6ae4c5cbb82fb7caa2205a8e23d5bf7e5f4e1a
drwxr-xr-x   ..
-rw-r--r-- 1710 PKGBUILD