updated on Thu Jan 19 20:01:47 UTC 2012
[aur-mirror.git] / tla-tools / 
tree2345b68638d2c43ff9afe3fb5c9595999ccb2a21
drwxr-xr-x   ..
-rw-r--r-- 1226 PKGBUILD
-rw-r--r-- 66 pcal2tla
-rw-r--r-- 69 sany
-rwxr-xr-x 67 tla2tex
-rw-r--r-- 64 tlc