package info
(click to toggle)
minisat2 070721-5
- links: PTS
- area: main
- in suites: lenny
- size: 232 kB
- ctags: 503
- sloc: cpp: 2,323; ansic: 81; makefile: 60
Folder: debian
 |
.. (parent) | |||
 |
- | rw-r--r-- | 918 | changelog |
|
- | rw-r--r-- | 2 | compat |
|
- | rw-r--r-- | 867 | control |
|
- | rw-r--r-- | 1,676 | copyright |
|
- | rw-r--r-- | 8 | dirs |
|
- | rw-r--r-- | 483 | doc-base |
|
- | rw-r--r-- | 31 | docs |
|
- | rw-r--r-- | 8,263 | minisat-user-guide.html |
|
- | rw-r--r-- | 1,785 | minisat2.1 |
|
- | rwxr-xr-x | 1,913 | rules |
|
- | rw-r--r-- | 675 | watch |