package info
(click to toggle)
coq 8.16.1%2Bdfsg-1
- links:
PTS,
VCS
- area: main
- in suites: bookworm
- size: 40,596 kB
- sloc:
ml: 219,376;
sh: 3,545;
python: 3,231;
ansic: 2,529;
makefile: 767;
lisp: 279;
javascript: 63;
xml: 24;
sed: 2
Folder: missing-install
