package info (click to toggle)
matita 0.5.3-1
  • links: PTS, VCS
  • area: main
  • in suites: lenny
  • size: 11,016 kB
  • ctags: 8,162
  • sloc: ml: 71,864; xml: 8,266; makefile: 1,875; sh: 440; php: 415; perl: 36; awk: 13; sql: 11; sed: 4

Folder: 0.5.3-1

d .. (parent)
d d rwxr-xr-x 4,096 components
d d rwxr-xr-x 4,096 debian
d d rwxr-xr-x 27 docs
d d rwxr-xr-x 4,096 matita
- - rw-r--r-- 232 AUTHORS
- - rw-r--r-- 106 BUGS
- - rw-r--r-- 17,989 COPYING
- - rw-r--r-- 2,341 ChangeLog
- - rw-r--r-- 6,446 INSTALL
- - rw-r--r-- 916 LICENSE
- - rw-r--r-- 3,255 Makefile
- - rw-r--r-- 406 Makefile.defs.in
- - rw-r--r-- 1,569 README
- - rwxr-xr-x 85,302 configure