package info
(click to toggle)
coq-doc 8.16.1-1
- links:
PTS,
VCS
- area: non-free
- in suites: bookworm
- size: 42,788 kB
- sloc:
ml: 219,673;
sh: 4,035;
python: 3,372;
ansic: 2,529;
makefile: 728;
lisp: 279;
javascript: 87;
xml: 24;
sed: 2
Folder: update-compat
