package info
(click to toggle)
hol-light 1%3A3.0.0-2
- links:
PTS,
VCS
- area: main
- in suites: forky, sid, trixie
- size: 48,252 kB
- sloc:
ml: 719,565;
cpp: 439;
makefile: 383;
sh: 289;
lisp: 286;
java: 279;
yacc: 108;
perl: 78;
ansic: 57;
python: 53;
sed: 39
Folder: source
