package info
(click to toggle)
coq 8.20.1%2Bdfsg-1
- links:
PTS,
VCS
- area: main
- in suites: sid, trixie
- size: 44,116 kB
- sloc:
ml: 234,160;
sh: 4,301;
python: 3,270;
ansic: 2,644;
makefile: 882;
lisp: 172;
javascript: 63;
xml: 24;
sed: 2
Folder: qed-time
