package info (click to toggle)
agda 2.5.4.1-3
  • links: PTS, VCS
  • area: main
  • in suites: buster, sid
  • size: 8,284 kB
  • sloc: haskell: 77,805; lisp: 3,467; yacc: 1,868; perl: 15; makefile: 14; ansic: 5

Folder: 2.5.4.1-3

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 28 doc
d d rwxr-xr-x 75 src
- - rw-r--r-- 27,527 Agda.cabal
- - rw-r--r-- 331,122 CHANGELOG.md
- - rw-r--r-- 5,422 LICENSE
- - rw-r--r-- 1,468 README.md
- - rw-r--r-- 1,616 Setup.hs
- - rw-r--r-- 197 stack-7.10.3.yaml
- - rw-r--r-- 126 stack-8.0.2.yaml
- - rw-r--r-- 127 stack-8.2.2.yaml
- - rw-r--r-- 99 stack-8.4.3.yaml