package info
(click to toggle)
spass 2.1-4
- links: PTS
- area: main
- in suites: lenny
- size: 988 kB
- ctags: 6
- sloc: makefile: 76
Folder: debian
 |
.. (parent) | |||
 |
- | rw-r--r-- | 27,461 | SPASS.1 |
|
- | rw-r--r-- | 1,689 | changelog |
|
- | rw-r--r-- | 2 | compat |
|
- | rw-r--r-- | 1,124 | control |
|
- | rw-r--r-- | 687 | copyright |
|
- | rw-r--r-- | 4,568 | dfg2ascii.1 |
|
- | rw-r--r-- | 6,942 | dfg2dfg.1 |
|
- | rw-r--r-- | 4,935 | dfg2otter.1 |
|
- | rw-r--r-- | 5,055 | dfg2otter.pl.1 |
|
- | rw-r--r-- | 4,812 | dfg2tptp.1 |
|
- | rw-r--r-- | 9,145 | pcs.1 |
|
- | rw-r--r-- | 6,364 | pgen.1 |
|
- | rwxr-xr-x | 2,529 | rules |