package info
(click to toggle)
why3 1.8.2-1
- links:
PTS,
VCS
- area: main
- in suites: forky, sid
- size: 45,020 kB
- sloc:
xml: 185,443;
ml: 111,224;
ansic: 3,998;
sh: 2,578;
makefile: 2,568;
java: 865;
python: 720;
javascript: 290;
lisp: 205;
pascal: 173
Folder: org
