package info
(click to toggle)
hol-light 20190729-4
- links:
PTS,
VCS
- area: main
- in suites: bullseye
- size: 42,676 kB
- sloc:
ml: 637,078;
cpp: 439;
makefile: 301;
lisp: 286;
java: 279;
sh: 239;
yacc: 108;
perl: 78;
ansic: 57;
sed: 39;
python: 13
Folder: source
