Files
| -rwxr-xr-x | 61936 | 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/64 |
| lrwxrwxrwx | 26 | root | root | /usr/lib/.build-id/64/32b5d2854c765cbdd196f9a253b01b3ead2c8a |
| 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 |
