| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | .SRCINFO | 870 | logstatsplain |
| -rw-r--r-- | .gitignore | 0 | logstatsplain |
| -rw-r--r-- | PKGBUILD | 1068 | logstatsplain |
| -rwxr-xr-x | pcal | 77 | logstatsplain |
| -rwxr-xr-x | tla2sany | 80 | logstatsplain |
| -rwxr-xr-x | tla2tex | 78 | logstatsplain |
| -rwxr-xr-x | tlc | 75 | logstatsplain |