Files
| -rwxr-xr-x | 563768 | root | root | /usr/lib/libcryptominisat-2.9.9.so |
| drwxr-xr-x | 4096 | root | root | /usr/share/doc/cryptominisat-libs |
| -rw-r--r-- | 899 | root | root | /usr/share/doc/cryptominisat-libs/AUTHORS |
| -rw-r--r-- | 1135 | root | root | /usr/share/doc/cryptominisat-libs/LICENSE-MIT |
| -rw-r--r-- | 17216 | root | root | /usr/share/doc/cryptominisat-libs/NEWS |
| -rw-r--r-- | 740 | root | root | /usr/share/doc/cryptominisat-libs/README |
| -rw-r--r-- | 201 | root | root | /usr/share/doc/cryptominisat-libs/TODO |
