package info (click to toggle)
agda 2.6.4.3-1
  • links: PTS, VCS
  • area: main
  • in suites: forky, sid, trixie
  • size: 8,208 kB
  • sloc: haskell: 103,159; lisp: 3,761; yacc: 2,170; javascript: 614; perl: 15; makefile: 14

Folder: 2.6.4.3-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 56 doc
d d rwxr-xr-x 75 src
- - rw-r--r-- 29,214 Agda.cabal
- - rw-r--r-- 672 CHANGELOG.md
- - rw-r--r-- 2,332 LICENSE
- - rw-r--r-- 1,733 README.md
- - rw-r--r-- 5,316 Setup.hs
- - rw-r--r-- 129 stack-8.10.7.yaml
- - rw-r--r-- 285 stack-8.6.5.yaml
- - rw-r--r-- 165 stack-8.8.4.yaml
- - rw-r--r-- 128 stack-9.0.2.yaml
- - rw-r--r-- 68 stack-9.2.8.yaml
- - rw-r--r-- 151 stack-9.4.8.yaml
- - rw-r--r-- 68 stack-9.6.4.yaml
- - rw-r--r-- 77 stack-9.8.1.yaml