File: watch

package info (click to toggle)
spass 3.7-3
  • links: PTS
  • area: main
  • in suites: jessie, jessie-kfreebsd, wheezy
  • size: 5,512 kB
  • ctags: 5,981
  • sloc: ansic: 50,634; yacc: 3,038; sh: 1,072; lex: 430; perl: 407; makefile: 394
file content (2 lines) | stat: -rw-r--r-- 120 bytes parent folder | download | duplicates (3) 
1
2
 
version=3
opts="uversionmangle=s/(.)(.+)/$1.$2/" http://www.spass-prover.org/download/index.html sources/spass(.+)\.tgz