Index of /code.haskell.org/Agda/_darcs/


../
inventories/                                       14-Jun-2014 18:17                   -
patches/                                           14-Jun-2014 18:17                   -
prefs/                                             10-Jun-2013 16:18                   -
pristine.hashed/                                   14-Jun-2014 18:17                   -
format                                             17-Feb-2011 11:11                  15
hashed_inventory                                   14-Jun-2014 18:17              356959
index                                              14-Jun-2014 18:17              453016
index_invalid                                      14-Jun-2014 18:17                   0
tentative_pristine                                 14-Jun-2014 18:17                  74