Files
| lrwxrwxrwx | 27 | root | root | /usr/lib/libpicosat-trace.so.0 |
| -rwxr-xr-x | 63184 | root | root | /usr/lib/libpicosat-trace.so.0.0.936 |
| lrwxrwxrwx | 21 | root | root | /usr/lib/libpicosat.so.0 |
| -rwxr-xr-x | 59060 | root | root | /usr/lib/libpicosat.so.0.0.936 |
| drwxr-xr-x | 4096 | root | root | /usr/share/doc/picosat-libs-936 |
| -rw-r--r-- | 1093 | root | root | /usr/share/doc/picosat-libs-936/LICENSE |
| -rw-r--r-- | 2562 | root | root | /usr/share/doc/picosat-libs-936/NEWS |
