Files
lrwxrwxrwx | 21 | root | root | /usr/lib/libpicosat.so.0 |
-rwxr-xr-x | 64764 | root | root | /usr/lib/libpicosat.so.0.0.913 |
drwxr-xr-x | 4096 | root | root | /usr/share/doc/picosat-libs-913 |
-rw-r--r-- | 1093 | root | root | /usr/share/doc/picosat-libs-913/LICENSE |
-rw-r--r-- | 1440 | root | root | /usr/share/doc/picosat-libs-913/NEWS |