package info
(click to toggle)
spass 3.7-2
- links: PTS
- area: main
- in suites: squeeze
- size: 5,500 kB
- ctags: 5,981
- sloc: ansic: 50,634; yacc: 3,038; sh: 1,072; lex: 430; perl: 407; makefile: 394
Folder: man
 |
.. (parent) | |||
 |
- | rw-r--r-- | 30,535 | SPASS.1 |
|
- | rw-r--r-- | 4,512 | dfg2ascii.1 |
|
- | rw-r--r-- | 6,725 | dfg2dfg.1 |
|
- | rw-r--r-- | 4,877 | dfg2otter.1 |
|
- | rw-r--r-- | 4,944 | dfg2otter.pl.1 |
|
- | rw-r--r-- | 4,757 | dfg2tptp.1 |
|
- | rw-r--r-- | 4,947 | tptp2dfg.1 |