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

../
idris2-0.5.1-r2.log.gz                             23-Apr-2023 06:59     19K
idris2-0.5.1-r3.log.gz                             23-Apr-2023 06:59     19K
idris2-0.5.1-r4.log.gz                             23-Apr-2023 06:59     19K
idris2-0.6.0-r0.log.gz                             23-Apr-2023 06:59     24K