package info
(click to toggle)
whitedb 0.7.3%2Bgit211004%2Bdfsg-1
- links: PTS
- area: main
- in suites: trixie
- size: 3,244 kB
- sloc: ansic: 31,363; javascript: 3,299; python: 790; lex: 359; java: 277; makefile: 195; sh: 164; yacc: 138; sed: 41
Folder: Rexamples
 |
.. (parent) | |||
 |
- | rw-r--r-- | 369 | luka.txt |
|
- | rw-r--r-- | 1,820 | luka2.txt |
|
- | rw-r--r-- | 3,059 | otter.txt |
|
- | rw-r--r-- | 36 | otter1.txt |
|
- | rw-r--r-- | 47 | otter2.txt |
|
- | rw-r--r-- | 69 | otter4.txt |
|
- | rw-r--r-- | 63 | otter5.txt |
|
- | rw-r--r-- | 61 | otter7.txt |
|
- | rw-r--r-- | 165 | otter_parse_test.txt |
|
- | rw-r--r-- | 33 | p1.otter |
|
- | rwxr-xr-x | 83 | rrun |
|
- | rw-r--r-- | 371 | rules.txt |
|
- | rw-r--r-- | 1,276 | steam.txt |
|
- | rw-r--r-- | 18 | viga.txt |
|
- | rw-r--r-- | 4,884 | wrong_notprovable.txt |