Files
lrwxrwxrwx | 27 | root | root | /usr/lib64/libpicosat-trace.so.0 |
-rwxr-xr-x | 61568 | root | root | /usr/lib64/libpicosat-trace.so.0.0.936 |
lrwxrwxrwx | 21 | root | root | /usr/lib64/libpicosat.so.0 |
-rwxr-xr-x | 59896 | root | root | /usr/lib64/libpicosat.so.0.0.936 |
drwxr-xr-x | 4096 | root | root | /usr/share/doc/lib64picosat936 |
-rw-r--r-- | 1093 | root | root | /usr/share/doc/lib64picosat936/LICENSE |
-rw-r--r-- | 2562 | root | root | /usr/share/doc/lib64picosat936/NEWS |