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: debian

d .. (parent)
d d rwxr-xr-x 50 patches
d d rwxr-xr-x 27 source
- - rw-r--r-- 13 agda-bin.install
- - rw-r--r-- 30 agda-bin.lintian-overrides
- - rw-r--r-- 19,000 changelog
- - rw-r--r-- 79 clean
- - rw-r--r-- 10,152 control
- - rw-r--r-- 3,394 copyright
- - rw-r--r-- 25 elpa-agda2-mode.elpa
- - rw-r--r-- 124 libghc-agda-dev.install
- - rwxr-xr-x 567 rules
- - rw-r--r-- 124 watch