package info
(click to toggle)
why3 1.8.0-2
- links:
PTS,
VCS
- area: main
- in suites: trixie
- size: 45,400 kB
- sloc:
xml: 185,443;
ml: 111,191;
ansic: 3,998;
sh: 2,567;
makefile: 2,557;
java: 865;
python: 720;
javascript: 290;
lisp: 205;
pascal: 173
Folder: source
