Index of /rebuild-logs/perl-5.32-throwaway/agda_2.6.1-1/


../
agda_2.6.1-1.buildlog                              10-Sep-2020 11:58              854845
agda_2.6.1-1.datestamp                             10-Sep-2020 11:58                 125
agda_2.6.1-1.json                                  10-Sep-2020 11:58                 629
agda_2.6.1-1_amd64-2020-09-10T11:31:54Z.build      10-Sep-2020 11:58              854845
agda_2.6.1-1_amd64.build                           10-Sep-2020 11:58              854845
agda_2.6.1-1_amd64.buildinfo                       10-Sep-2020 11:58               12390