package info
(click to toggle)
hol-light 20170109-1
- links:
PTS,
VCS
- area: main
- in suites: stretch
- size: 36,568 kB
- ctags: 8,549
- sloc:
ml: 540,018;
cpp: 439;
lisp: 286;
java: 279;
makefile: 262;
sh: 229;
yacc: 108;
perl: 78;
ansic: 57;
sed: 39
Folder: source
