Index of /packages/archive/Agda/2.2.6

[ICO]NameLast modifiedSizeDescription
[DIR]Parent Directory  -
[ ]Agda-2.2.6.tar.gz23-Dec-2009 07:42 419K
[ ]Agda.cabal23-Dec-2009 07:42 12K
[DIR]doc/12-Sep-2010 04:11 -
[DIR]logs/17-Dec-2010 09:44 -
[ ]tags23-Dec-2009 07:42 76
Apache/2.2.9 (Debian) mod_python/3.3.1 Python/2.5.2 Server at hackage.haskell.org Port 80