Index of /packages/archive/Agda

[ICO]NameLast modifiedSizeDescription

[DIR]Parent Directory  -
[DIR]2.2.0/09-Apr-2010 05:29 -
[DIR]2.2.2/09-Apr-2010 05:29 -
[DIR]2.2.4/09-Mar-2010 16:36 -
[DIR]2.2.6/12-Sep-2010 04:11 -
[DIR]2.2.8/26-Nov-2010 08:00 -
[DIR]2.2.10/20-Feb-2011 12:32 -
[DIR]2.3.0/25-Nov-2011 00:11 -
[   ]distroinfo10-Feb-2012 00:17 376
[DIR]latest/10-Feb-2012 00:16 -

Apache/2.2.9 (Debian) mod_python/3.3.1 Python/2.5.2 Server at hackage.haskell.org Port 80