package info (click to toggle)
agda 2.6.0.1-1
  • links: PTS, VCS
  • area: main
  • in suites: bullseye, sid
  • size: 9,124 kB
  • sloc: haskell: 87,191; lisp: 3,452; yacc: 1,964; perl: 15; makefile: 14; ansic: 10

Folder: 2.6.0.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 36 doc
d d rwxr-xr-x 75 src
- - rw-r--r-- 30,044 Agda.cabal
- - rw-r--r-- 377,652 CHANGELOG.md
- - rw-r--r-- 5,438 LICENSE
- - rw-r--r-- 1,451 README.md
- - rw-r--r-- 3,804 Setup.hs
- - rw-r--r-- 367 stack-7.10.3.yaml
- - rw-r--r-- 189 stack-8.0.2.yaml
- - rw-r--r-- 190 stack-8.2.2.yaml
- - rw-r--r-- 148 stack-8.4.4.yaml
- - rw-r--r-- 158 stack-8.6.5.yaml