../ 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