| -rwxr-xr-x | 18928 | root |
root |
/usr/bin/picomus
|
| -rwxr-xr-x | 31428 | root |
root |
/usr/bin/picosat
|
| -rwxr-xr-x | 31436 | root |
root |
/usr/bin/picosat.trace
|
| drwxr-xr-x | 0 | root |
root |
/usr/lib/.build-id
|
| drwxr-xr-x | 0 | root |
root |
/usr/lib/.build-id/14
|
| drwxr-xr-x | 0 | root |
root |
/usr/lib/.build-id/78
|
| drwxr-xr-x | 0 | root |
root |
/usr/lib/.build-id/b6
|
| lrwxrwxrwx | 27 | root |
root |
/usr/lib/.build-id/14/e4012a39c7c9894c80e6925a87ea5b7d0390b8
|
| lrwxrwxrwx | 27 | root |
root |
/usr/lib/.build-id/78/33a6f4c3394058ebddec7813a38d3aa9f3e700
|
| lrwxrwxrwx | 33 | root |
root |
/usr/lib/.build-id/b6/3d7901b6bb2a88d234dcca79eb8860b3e7e670
|
| -rw-r--r-- | 924 | root |
root |
/usr/share/man/man1/picomus.1.xz
|
| -rw-r--r-- | 2184 | root |
root |
/usr/share/man/man1/picosat.1.xz
|
| -rw-r--r-- | 72 | root |
root |
/usr/share/man/man1/picosat.trace.1.xz
|
