package info
(click to toggle)
ladr 0.0.200902a-2
- links: PTS
- area: main
- in suites: squeeze
- size: 11,400 kB
- ctags: 7,168
- sloc: ansic: 59,953; perl: 1,006; python: 620; makefile: 403; sh: 86; csh: 58; modula3: 13
Folder: prover9.examples
 |
.. (parent) | |||
 |
- | rw-r--r-- | 80 | README |
|
- | rw-r--r-- | 496 | x2.hints |
|
- | rw-r--r-- | 152 | x2.in |
|
- | rw-r--r-- | 5,100 | x2.out |