Index of /packages/archive/Agda/2.2.10

[ICO]NameLast modifiedSizeDescription
[DIR]Parent Directory  -
[ ]Agda-2.2.10.tar.gz20-Feb-2011 09:33 506K
[ ]Agda.cabal20-Feb-2011 09:33 13K
[DIR]doc/20-Feb-2011 12:32 -
[DIR]logs/20-Feb-2011 12:32 -
[ ]tags20-Feb-2011 09:33 76
Apache/2.2.9 (Debian) mod_python/3.3.1 Python/2.5.2 Server at hackage.haskell.org Port 80