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

d .. (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