package info (click to toggle)
agda-stdlib 0.8-2
  • links: PTS, VCS
  • area: main
  • in suites: jessie, jessie-kfreebsd
  • size: 1,768 kB
  • ctags: 1
  • sloc: haskell: 119; sh: 18; makefile: 15; lisp: 1

Folder: 0.8-2

show hidden (1)
d .. (parent)
d d rwxr-xr-x 84 .pc
d d rwxr-xr-x 133 README
d d rwxr-xr-x 4,096 debian
d d rwxr-xr-x 86 ffi
d d rwxr-xr-x 4,096 src
- - rw-r--r-- 82 .boring
- - rw-r--r-- 62 .gitignore
- - rw-r--r-- 1,082 AllNonAsciiChars.hs
- - rw-r--r-- 326 GNUmakefile
- - rw-r--r-- 2,886 GenerateEverything.hs
- - rw-r--r-- 302 Header
- - rw-r--r-- 1,509 LICENCE
- - rw-r--r-- 10,419 README.agda
- - rw-r--r-- 163 README.md
- - rw-r--r-- 47 Setup.hs
- - rw-r--r-- 522 lib.cabal
- - rwxr-xr-x 451 publish-listings.sh
- - rw-r--r-- 4,714 release-notes