package info (click to toggle)
frama-c 20161101%2Bsilicon%2Bdfsg-5
  • links: PTS, VCS
  • area: main
  • in suites: stretch
  • size: 42,324 kB
  • ctags: 35,695
  • sloc: ml: 200,142; ansic: 31,465; makefile: 2,334; sh: 1,643; lisp: 259; python: 85; asm: 26

Folder: share

d .. (parent)
d d rwxr-xr-x 112 emacs
d d rwxr-xr-x 4,096 libc
d d rwxr-xr-x 49 theme
- - rw-r--r-- 8,659 Makefile.common
- - rw-r--r-- 6,964 Makefile.config.in
- - rw-r--r-- 10,708 Makefile.dynamic
- - rw-r--r-- 2,198 Makefile.dynamic_config.external
- - rw-r--r-- 2,243 Makefile.dynamic_config.internal
- - rw-r--r-- 4,163 Makefile.generic
- - rw-r--r-- 37,008 Makefile.plugin.template
- - rw-r--r-- 1,663 builtin.h
- - rw-r--r-- 19,980 configure.ac
- - rw-r--r-- 2,378 frama-c.Unix.rc
- - rw-r--r-- 1,850 frama-c.WIN32.rc
- - rw-r--r-- 90,278 frama-c.ico
- - rw-r--r-- 6,202 frama-c.png
- - rw-r--r-- 1,621 libc.c
- - rw-r--r-- 11,053 machdep.c
- - rw-r--r-- 3,412 switch-off.png
- - rw-r--r-- 3,322 switch-on.png
- - rw-r--r-- 980 unmark.png