Files
-rwxr-xr-x | 54988 | root | root | /usr/bin/ltl2ba |
drwxr-xr-x | 4096 | root | root | /usr/share/doc/ltl2ba-1.1 |
-rw-r--r-- | 12279 | root | root | /usr/share/doc/ltl2ba-1.1/LICENSE |
-rw-r--r-- | 4018 | root | root | /usr/share/doc/ltl2ba-1.1/README |
-rwxr-xr-x | 54988 | root | root | /usr/bin/ltl2ba |
drwxr-xr-x | 4096 | root | root | /usr/share/doc/ltl2ba-1.1 |
-rw-r--r-- | 12279 | root | root | /usr/share/doc/ltl2ba-1.1/LICENSE |
-rw-r--r-- | 4018 | root | root | /usr/share/doc/ltl2ba-1.1/README |