Index of /alt/risc-v/logs/Agda-2.5.2-9.fc27.src.rpm/

../
root.log                                           14-May-2018 11:49                3146
script.log                                         14-May-2018 11:49               27487