Index of /distfiles/buildlogs/build-edge-x86/community/idris2-stage0/

../
idris2-stage0-0.6.0-r0.log.gz                      23-Apr-2023 15:15     18K
idris2-stage0-0.6.0-r1.log                         06-Aug-2023 16:44    263K
idris2-stage0-0.6.0-r2.log                         22-Oct-2023 21:26    263K
idris2-stage0-0.7.0-r0.log                         07-Jan-2024 10:53    400K
idris2-stage0-0.7.0-r1.log                         20-Apr-2024 11:22    399K