package info
(click to toggle)
Folder: debian
 |
.. (parent) | |||
|
d | rwxr-xr-x | 65 | patches |
|
d | rwxr-xr-x | 27 | source |
|
d | rwxr-xr-x | 47 | tests |
 |
- | rw-r--r-- | 920 | changelog |
|
- | rw-r--r-- | 3 | compat |
|
- | rw-r--r-- | 1,108 | control |
|
- | rw-r--r-- | 1,331 | copyright |
|
- | rw-r--r-- | 2,573 | minisat%2B.1 |
|
- | rw-r--r-- | 11 | minisat%2B.examples |
|
- | rw-r--r-- | 17 | minisat%2B.install |
|
- | rw-r--r-- | 18 | minisat%2B.manpages |
|
- | rwxr-xr-x | 100 | rules |
|
- | rw-r--r-- | 104 | watch |