Files
-rwxr-xr-x | 73512 | root | root | /usr/bin/ltl2ba |
drwxr-xr-x | 0 | root | root | /usr/lib/.build-id |
drwxr-xr-x | 0 | root | root | /usr/lib/.build-id/53 |
lrwxrwxrwx | 26 | root | root | /usr/lib/.build-id/53/540aa819a0354a4b4cae85a265a7ca6454f916 |
drwxr-xr-x | 0 | root | root | /usr/share/doc/ltl2ba |
-rw-r--r-- | 5008 | root | root | /usr/share/doc/ltl2ba/README |
drwxr-xr-x | 0 | root | root | /usr/share/licenses/ltl2ba |
-rw-r--r-- | 18092 | root | root | /usr/share/licenses/ltl2ba/LICENSE |