Files
| drwxr-xr-x | 0 | root | root | /usr/lib/.build-id |
| drwxr-xr-x | 0 | root | root | /usr/lib/.build-id/2d |
| lrwxrwxrwx | 43 | root | root | /usr/lib/.build-id/2d/1a183e62de3f31e29c63b990e5803270f81f58 |
| lrwxrwxrwx | 21 | root | root | /usr/lib64/libpicosat.so.1 |
| -rwxr-xr-x | 67712 | root | root | /usr/lib64/libpicosat.so.1.0.936 |
| drwxr-xr-x | 0 | root | root | /usr/share/doc/lib64picosat1 |
| -rw-r--r-- | 1093 | root | root | /usr/share/doc/lib64picosat1/LICENSE |
| -rw-r--r-- | 2562 | root | root | /usr/share/doc/lib64picosat1/NEWS |
