Index of /Agda/_darcs

[ICO]NameLast modifiedSizeDescription

[DIR]Parent Directory  -
[   ]tentative_pristine16-Apr-2014 20:37 74
[DIR]pristine.hashed/16-Apr-2014 20:37 -
[DIR]prefs/10-Jun-2013 17:18 -
[DIR]patches/16-Apr-2014 20:37 -
[DIR]inventories/16-Apr-2014 20:37 -
[   ]index_invalid16-Apr-2014 20:37 0
[   ]index16-Apr-2014 20:37 413K
[   ]hashed_inventory16-Apr-2014 20:37 260K
[   ]format17-Feb-2011 11:11 15

Apache/2.2.9 (Debian) mod_perl/2.0.4 Perl/v5.10.0 Server at code.haskell.org Port 80