Index of /distfiles/buildlogs/build-edge-x86/testing/idris2/

../
idris2-0.5.1-r0.log.gz                             23-Apr-2023 15:18     18K
idris2-0.5.1-r2.log.gz                             23-Apr-2023 15:18     15K
idris2-0.5.1-r3.log.gz                             23-Apr-2023 15:18     15K
idris2-0.5.1-r4.log.gz                             23-Apr-2023 15:18     15K
idris2-0.6.0-r0.log.gz                             23-Apr-2023 15:18     18K