package info (click to toggle)
coq-doc 8.20.0-2
  • links: PTS, VCS
  • area: non-free
  • in suites: forky, sid, trixie
  • size: 46,708 kB
  • sloc: ml: 234,429; sh: 4,686; python: 3,359; ansic: 2,644; makefile: 842; lisp: 172; javascript: 87; xml: 24; sed: 2

Folder: output-coqtop

d .. (parent)
- - rw-r--r-- 1,486 DependentEvars.out
- - rw-r--r-- 466 DependentEvars.v
- - rw-r--r-- 2,028 DependentEvars2.out
- - rw-r--r-- 519 DependentEvars2.v
- - rw-r--r-- 678 DependentEvars3.out
- - rw-r--r-- 161 DependentEvars3.v
- - rw-r--r-- 412 LookaheadErrors.out
- - rw-r--r-- 180 LookaheadErrors.v
- - rw-r--r-- 1,029 ShowGoal.out
- - rw-r--r-- 206 ShowGoal.v
- - rw-r--r-- 2,424 ShowProofDiffs.out
- - rw-r--r-- 222 ShowProofDiffs.v
- - rw-r--r-- 1,256 attributes.out
- - rw-r--r-- 330 attributes.v
- - rw-r--r-- 41 backto.out
- - rw-r--r-- 12 backto.v
- - rw-r--r-- 250 bug_12138.out
- - rw-r--r-- 63 bug_12138.v
- - rw-r--r-- 634 bug_16462.out
- - rw-r--r-- 459 bug_16462.v
- - rw-r--r-- 416 bug_16745.out
- - rw-r--r-- 138 bug_16745.v
- - rw-r--r-- 1,385 ltac2_var_quot.out
- - rw-r--r-- 233 ltac2_var_quot.v