package info (click to toggle)
agda 2.6.1-1
  • links: PTS, VCS
  • area: main
  • in suites: sid
  • size: 9,880 kB
  • sloc: haskell: 91,965; lisp: 3,545; yacc: 2,048; javascript: 1,059; perl: 15; makefile: 14

Folder: 2.6.1-1

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 26 dist
d d rwxr-xr-x 60 doc
d d rwxr-xr-x 75 src
- - rw-r--r-- 32,119 Agda.cabal
- - rw-r--r-- 41,707 CHANGELOG.md
- - rw-r--r-- 3,728 LICENSE
- - rw-r--r-- 2,146 README.md
- - rw-r--r-- 3,827 Setup.hs
- - rw-r--r-- 247 stack-8.0.2.yaml
- - rw-r--r-- 120 stack-8.2.2.yaml
- - rw-r--r-- 92 stack-8.4.4.yaml
- - rw-r--r-- 177 stack-8.6.5.yaml
- - rw-r--r-- 233 stack-8.8.2.yaml
- - rw-r--r-- 1,970 stack-8.8.3.yaml