package info (click to toggle)
matita 0.5.8-2
  • links: PTS, VCS
  • area: main
  • in suites: squeeze
  • size: 31,144 kB
  • ctags: 10,276
  • sloc: ml: 91,469; xml: 8,768; makefile: 2,021; ansic: 605; sh: 462; php: 381; awk: 121; perl: 36; sql: 11; sed: 4

Folder: debian

d .. (parent)
d d rwxr-xr-x 146 patches
- - rw-r--r-- 55 README.source
- - rw-r--r-- 41 TODO.Debian
- - rw-r--r-- 5,074 changelog
- - rw-r--r-- 2 compat
- - rw-r--r-- 1,850 control
- - rw-r--r-- 1,045 copyright
- - rw-r--r-- 325 matita-doc.doc-base
- - rw-r--r-- 45 matita-standard-library.dirs
- - rw-r--r-- 75 matita-standard-library.install
- - rw-r--r-- 28 matita.dirs
- - rw-r--r-- 409 matita.install
- - rw-r--r-- 224 matita.menu
- - rwxr-xr-x 2,470 rules
- - rw-r--r-- 74 svn-deblayout