package info (click to toggle)
agda 2.4.0.2-2
  • links: PTS, VCS
  • area: main
  • in suites: jessie, jessie-kfreebsd
  • size: 5,024 kB
  • ctags: 456
  • sloc: haskell: 54,015; lisp: 2,925; yacc: 1,414; ansic: 99; makefile: 8

Folder: 2.4.0.2-2

show hidden (1)
d .. (parent)
d d rwxr-xr-x 104 .pc
d d rwxr-xr-x 4,096 debian
d d rwxr-xr-x 26 dist
d d rwxr-xr-x 75 src
- - rw-r--r-- 19,041 Agda.cabal
- - rw-r--r-- 128,478 CHANGELOG
- - rw-r--r-- 3,231 LICENSE
- - rw-r--r-- 11,758 README
- - rw-r--r-- 909 Setup.hs