Index of /packages/archive/Agda/2.3.0

[ICO]NameLast modifiedSizeDescription
[DIR]Parent Directory  -
[ ]Agda-2.3.0.tar.gz23-Nov-2011 01:11 594K
[ ]Agda.cabal23-Nov-2011 01:11 14K
[DIR]doc/25-Nov-2011 00:11 -
[DIR]logs/25-Nov-2011 00:11 -
[ ]tags23-Nov-2011 01:11 65
Apache/2.2.9 (Debian) mod_python/3.3.1 Python/2.5.2 Server at hackage.haskell.org Port 80