package info (click to toggle)
agda 2.2.6-7
  • links: PTS, VCS
  • area: main
  • in suites: squeeze
  • size: 2,520 kB
  • ctags: 335
  • sloc: haskell: 30,679; lisp: 2,136; yacc: 879; makefile: 4; ansic: 2

Folder: dist

d .. (parent)
d d rwxr-xr-x 25 build