Files
lrwxrwxrwx | 27 | root | root | /usr/lib64/libpicosat-trace.so.1 |
-rwxr-xr-x | 65216 | root | root | /usr/lib64/libpicosat-trace.so.1.0.936 |
lrwxrwxrwx | 27 | root | root | /usr/lib64/libpicosat-trace.so.1 |
-rwxr-xr-x | 65216 | root | root | /usr/lib64/libpicosat-trace.so.1.0.936 |