DEBSOURCES
Skip Quicknav
Home
Search
Documentation
Stats
About
sources
/
mcrl2
/
201007~rc1-1
/
build
/ msvc
package info
(click to toggle)
mcrl2 201007~rc1-1
links:
PTS
,
VCS
area: main
in suites: squeeze
size: 28,524 kB
ctags: 34,862
sloc
: cpp: 251,100; ansic: 19,553; python: 12,151; yacc: 10,042; sh: 3,185; lex: 2,040; xml: 279; makefile: 193
Folder: msvc
.. (parent)
-
rw-r--r--
230
config.bat
-
rw-r--r--
972
config.jam