package info (click to toggle)
why 2.40-4
  • links: PTS, VCS
  • area: main
  • in suites: sid
  • size: 10,504 kB
  • sloc: ml: 71,410; xml: 13,660; java: 8,079; ansic: 1,176; makefile: 728; sh: 199; lisp: 3

Folder: 2.40-4

show hidden (1)
d .. (parent)
d d rwxr-xr-x 4,096 .pc
d d rwxr-xr-x 4,096 atp
d d rwxr-xr-x 6 bin
d d rwxr-xr-x 40 config
d d rwxr-xr-x 4,096 debian
d d rwxr-xr-x 21 doc
d d rwxr-xr-x 4,096 frama-c-plugin
d d rwxr-xr-x 4,096 java
d d rwxr-xr-x 4,096 jc
d d rwxr-xr-x 145 lib
d d rwxr-xr-x 4,096 mix
d d rwxr-xr-x 4,096 src
d d rwxr-xr-x 65 tests
d d rwxr-xr-x 31 tools
- - rw-r--r-- 43,740 .depend
- - rw-r--r-- 6,042 .depend.coq
- - rw-r--r-- 35,743 CHANGES
- - rw-r--r-- 661 COPYING
- - rw-r--r-- 721 INSTALL
- - rw-r--r-- 26,387 LICENSE
- - rw-r--r-- 20,910 Makefile.in
- - rw-r--r-- 215 README
- - rw-r--r-- 39 Version
- - rwxr-xr-x 123,036 configure
- - rw-r--r-- 16,855 configure.in
- - rwxr-xr-x 1,027 version.sh