DEBSOURCES
Skip Quicknav
Home
Search
Documentation
Stats
About
sources
/
agda
/
2.2.6-7
/ dist
package info
(click to toggle)
agda 2.2.6-7
links:
PTS
,
VCS
area: main
in suites: squeeze
size: 2,520 kB
ctags: 335
sloc
: haskell: 30,679; lisp: 2,136; yacc: 879; makefile: 4; ansic: 2
Folder: dist
.. (parent)
d
rwxr-xr-x
25
build