package info (click to toggle)
frama-c 20171101+sulfur+dfsg-2
  • links: PTS, VCS
  • area: main
  • in suites: buster, sid
  • size: 44,124 kB
  • sloc: ml: 213,391; ansic: 45,004; makefile: 2,648; sh: 2,574; lisp: 259; python: 85; asm: 26

Folder: 20171101+sulfur+dfsg-2

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 4,096 debian
d d rwxr-xr-x 61 doc
d d rwxr-xr-x 42 lib
d d rwxr-xr-x 84 licenses
d d rwxr-xr-x 30 man
d d rwxr-xr-x 57 opam
d d rwxr-xr-x 22 ptests
d d rwxr-xr-x 4,096 share
d d rwxr-xr-x 101 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-- 221,096 Changelog
- - rw-r--r-- 12,140 INSTALL.md
- - rw-r--r-- 73,292 Makefile
- - rw-r--r-- 6,325 Makefile.generating
- - rw-r--r-- 4,426 README.md
- - rw-r--r-- 16 VERSION
- - rw-r--r-- 2,012 config.h.in
- - rwxr-xr-x 322,121 configure
- - rw-r--r-- 29,661 configure.in