package info (click to toggle)
frama-c 20220511-manganese-5
  • links: PTS, VCS
  • area: main
  • in suites: sid, trixie
  • size: 66,492 kB
  • sloc: ml: 278,834; ansic: 47,093; sh: 4,823; makefile: 3,613; javascript: 2,436; python: 1,919; perl: 897; lisp: 293; xml: 62

Folder: 20220511-manganese-5

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 4,096 ivette
d d rwxr-xr-x 42 lib
d d rwxr-xr-x 94 licenses
d d rwxr-xr-x 30 man
d d rwxr-xr-x 25 opam
d d rwxr-xr-x 30 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-- 266,663 Changelog
- - rw-r--r-- 16,444 INSTALL.md
- - rw-r--r-- 92,846 Makefile
- - rw-r--r-- 7,709 Makefile.generating
- - rw-r--r-- 5,021 README.md
- - rw-r--r-- 10 VERSION
- - rw-r--r-- 10 VERSION_CODENAME
- - rw-r--r-- 1,986 config.h.in
- - rwxr-xr-x 365,139 configure
- - rw-r--r-- 33,574 configure.in