package info (click to toggle)
frama-c 20140301%2Bneon%2Bdfsg-3
  • links: PTS, VCS
  • area: main
  • in suites: jessie, jessie-kfreebsd
  • size: 19,548 kB
  • ctags: 28,183
  • sloc: ml: 181,252; ansic: 13,776; makefile: 2,452; sh: 1,085; lisp: 178

Folder: 20140301+neon+dfsg-3

show hidden (1)
d .. (parent)
d d rwxr-xr-x 4,096 .pc
d d rwxr-xr-x 4,096 bin
d d rwxr-xr-x 44 cil
d d rwxr-xr-x 4,096 debian
d d rwxr-xr-x 42 doc
d d rwxr-xr-x 4,096 external
d d rwxr-xr-x 42 lib
d d rwxr-xr-x 108 licenses
d d rwxr-xr-x 30 man
d d rwxr-xr-x 48 ptests
d d rwxr-xr-x 4,096 share
d d rwxr-xr-x 4,096 src
d d rwxr-xr-x 4,096 tests
- - rw-r--r-- 2 .force-reconfigure
- - rw-r--r-- 0 .make-clean
- - rw-r--r-- 2 .make-clean-stamp
- - rw-r--r-- 0 .make-ocamlgraph
- - rw-r--r-- 3 .make-ocamlgraph-stamp
- - rw-r--r-- 149,160 Changelog
- - rw-r--r-- 10,175 INSTALL
- - rw-r--r-- 1,613 INSTALL_WITH_WHY
- - rw-r--r-- 80,154 Makefile
- - rw-r--r-- 14 VERSION
- - rw-r--r-- 1,933 config.h.in
- - rwxr-xr-x 292,032 configure
- - rw-r--r-- 36,208 configure.in