package info (click to toggle)
matita 0.99.3-1
  • links: PTS, VCS
  • area: main
  • in suites: 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: docs

d .. (parent)
d d rwxr-xr-x 39 manual