package info (click to toggle)
lem 2025-03-13%2Bdfsg-1
  • links: PTS, VCS
  • area: main
  • in suites: forky, sid
  • size: 5,032 kB
  • sloc: ml: 29,574; makefile: 494; sh: 37; python: 30

Folder: coq-lib

d .. (parent)
- - rw-r--r-- 232 coq_makefile.in
- - rw-r--r-- 20,346 coqharness.v