[go: up one dir, main page]
package info (click to toggle)
spass 3.9-1.1
  • links: PTS, VCS
  • area: main
  • in suites: bookworm, bullseye, forky, sid, trixie
  • size: 3,632 kB
  • sloc: ansic: 59,216; yacc: 1,574; lex: 300; pascal: 158; makefile: 148; sh: 7

Folder: tests

d .. (parent)
- - rw-r--r-- 16 control
- - rw-r--r-- 669 problem54.dfg
- - rwxr-xr-x 169 upstream