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: debian

d .. (parent)
d d rwxr-xr-x 75 patches
d d rwxr-xr-x 27 source
- - rw-r--r-- 55 README.source
- - rw-r--r-- 41 TODO.Debian
- - rw-r--r-- 6,954 changelog
- - rw-r--r-- 2 compat
- - rw-r--r-- 969 control
- - rw-r--r-- 1,045 copyright
- - rw-r--r-- 30 gbp.conf
- - rw-r--r-- 181 matita.desktop
- - rw-r--r-- 28 matita.dirs
- - rw-r--r-- 380 matita.install
- - rw-r--r-- 224 matita.menu
- - rwxr-xr-x 1,750 rules