updated on Thu Jan 19 20:01:47 UTC 2012
[aur-mirror.git] / haskell-logic-tptp / 
treeb4718ad753673c59c8388bfdc634faa623046098
drwxr-xr-x   ..
-rw-r--r-- 1586 PKGBUILD
-rw-r--r-- 421 haskell-logic-tptp.install