DEBSOURCES
Skip Quicknav
Home
Search
Documentation
Stats
About
sources
/
frama-c
/
20100401%2Bboron%2Bdfsg-5
/ man
package info
(click to toggle)
frama-c 20100401%2Bboron%2Bdfsg-5
links:
PTS
,
VCS
area: main
in suites: squeeze
size: 12,908 kB
ctags: 19,772
sloc
: ml: 117,445; ansic: 10,764; makefile: 1,706; lisp: 176; sh: 27
Folder: man
.. (parent)
-
rw-r--r--
11,290
frama-c.1