package info (click to toggle)
matita 0.99.1-3
  • links: PTS, VCS
  • area: main
  • in suites: jessie, jessie-kfreebsd
  • size: 56,384 kB
  • ctags: 4,814
  • sloc: ml: 51,617; xml: 6,469; makefile: 1,617; yacc: 1,499; ansic: 618; php: 381; sh: 308; awk: 121; perl: 36; sql: 11; sed: 4

Folder: 0.99.1-3

show hidden (1)
d .. (parent)
d d rwxr-xr-x 4,096 .pc
d d rwxr-xr-x 4,096 components
d d rwxr-xr-x 4,096 debian
d d rwxr-xr-x 4,096 matita
- - rw-r--r-- 3,365 Makefile
- - rw-r--r-- 422 Makefile.defs.in
- - rw-r--r-- 5,254 configure.ac