Files
| -rwxr-xr-x | 96204 | root | root | /usr/bin/glueminisat |
| drwxr-xr-x | 4096 | root | root | /usr/share/doc/glueminisat-2.2.5 |
| -rw-r--r-- | 1142 | root | root | /usr/share/doc/glueminisat-2.2.5/LICENSE |
| -rw-r--r-- | 217 | root | root | /usr/share/doc/glueminisat-2.2.5/README |
| -rw-r--r-- | 833 | root | root | /usr/share/doc/glueminisat-2.2.5/README.minisat |
| -rw-r--r-- | 4967 | root | root | /usr/share/doc/glueminisat-2.2.5/glueminisat-intro.html |
| -rw-r--r-- | 67 | root | root | /usr/share/doc/glueminisat-2.2.5/glueminisat-test.in |
| -rw-r--r-- | 21 | root | root | /usr/share/doc/glueminisat-2.2.5/glueminisat-test.out |
