package info (click to toggle)
matita 0.99.3-1
  • links: PTS, VCS
  • area: main
  • in suites: sid, stretch
  • size: 9,580 kB
  • ctags: 5,761
  • sloc: ml: 46,829; xml: 6,414; makefile: 1,223; ansic: 605; sh: 89; perl: 36; awk: 15; haskell: 6; sed: 4

Folder: 0.99.3-1

show hidden (1)
d .. (parent)
d d rwxr-xr-x 152 .pc
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-- 7,091 ChangeLog
- - rw-r--r-- 916 LICENSE
- - rw-r--r-- 3,412 Makefile
- - rw-r--r-- 375 Makefile.defs.in
- - rwxr-xr-x 96,443 configure
- - rw-r--r-- 5,209 configure.ac