File: watch

package info (click to toggle)
picosat 913-4
  • links: PTS
  • area: main
  • in suites: squeeze
  • size: 416 kB
  • ctags: 1,206
  • sloc: ansic: 12,424; sh: 268; makefile: 114
file content (2 lines) | stat: -rw-r--r-- 58 bytes parent folder | download | duplicates (5)
1
2
version=3
http://fmv.jku.at/picosat/picosat-(.*)\.tar\.gz