package info (click to toggle)
proofgeneral 4.5-3
  • links: PTS, VCS
  • area: main
  • in suites: sid, trixie
  • size: 5,172 kB
  • sloc: lisp: 33,783; makefile: 388; sh: 118; perl: 109

Folder: 005-change-recompile

d .. (parent)
- - rw-r--r-- 694 Makefile
- - rw-r--r-- 772 a.v.orig
- - rw-r--r-- 538 b.v.orig
- - rw-r--r-- 540 c.v.orig
- - rw-r--r-- 540 d.v.orig
- - rw-r--r-- 395 e.v.orig
- - rw-r--r-- 538 f.v.orig
- - rw-r--r-- 519 g.v.orig
- - rw-r--r-- 519 h.v.orig
- - rw-r--r-- 6,946 runtest.el