Folder: CONTRIB

package info (click to toggle)

eprover 3.2.5%2Bds-1

links: PTS, VCS
area: main
in suites: forky, sid, trixie
size: 14,504 kB
sloc: ansic: 104,396; csh: 13,135; python: 11,207; awk: 5,825; makefile: 554; sh: 400

				.. (parent)
	-	rw-r--r--	952	Makefile