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


../
inventories/                                       15-Feb-2019 15:35                   -
patches/                                           15-Feb-2019 15:44                   -
prefs/                                             15-Feb-2019 15:22                   -
pristine.hashed/                                   15-Feb-2019 15:32                   -
format                                             15-Feb-2019 15:44                  15
hashed_inventory                                   15-Feb-2019 15:44              356959
index                                              15-Feb-2019 15:44              453016
index_invalid                                      15-Feb-2019 15:22                   0
tentative_pristine                                 15-Feb-2019 15:32                  74