package info
(click to toggle)
hol-light 1%3A3.1.0-2
- links:
PTS,
VCS
- area: main
- in suites: forky, sid
- size: 50,136 kB
- sloc:
ml: 753,527;
cpp: 439;
sh: 435;
makefile: 399;
lisp: 286;
java: 279;
yacc: 108;
perl: 78;
ansic: 57;
python: 53;
sed: 39
Folder: .github
