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