package info
(click to toggle)
mcrl2 201409.0-1
- links:
PTS,
VCS
- area: main
- in suites: buster, jessie, jessie-kfreebsd
- size: 46,348 kB
- ctags: 29,960
- sloc:
cpp: 213,160;
ansic: 16,219;
python: 13,238;
yacc: 309;
lex: 214;
xml: 197;
makefile: 83;
sh: 82;
pascal: 17
Folder: include
