package info (click to toggle)
agda 2.8.0-2
  • links: PTS, VCS
  • area: main
  • in suites: sid
  • size: 8,552 kB
  • sloc: haskell: 106,221; lisp: 3,882; yacc: 1,665; javascript: 599; perl: 15; makefile: 8

Folder: 2.8.0-2

show hidden (1)
d .. (parent)
d d rwxr-xr-x 127 .pc
d d rwxr-xr-x 4,096 debian
d d rwxr-xr-x 56 doc
d d rwxr-xr-x 91 src
- - rw-r--r-- 34,434 Agda.cabal
- - rw-r--r-- 44,726 CHANGELOG.md
- - rw-r--r-- 2,532 LICENSE
- - rw-r--r-- 1,741 README.md
- - rw-r--r-- 218 stack-8.10.7.yaml
- - rw-r--r-- 285 stack-8.8.4.yaml
- - rw-r--r-- 217 stack-9.0.2.yaml
- - rw-r--r-- 150 stack-9.10.2.yaml
- - rw-r--r-- 150 stack-9.12.2.yaml
- - rw-r--r-- 170 stack-9.2.8.yaml
- - rw-r--r-- 253 stack-9.4.8.yaml
- - rw-r--r-- 140 stack-9.6.7.yaml
- - rw-r--r-- 140 stack-9.8.4.yaml