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: 03-notations
