../ idris2-0.6.0-r0.log.gz 23-Apr-2023 15:17 18K idris2-0.6.0-r1.log 06-Aug-2023 17:00 233K idris2-0.6.0-r2.log 22-Oct-2023 21:41 233K idris2-0.6.0-r3.log 23-Oct-2023 16:41 233K idris2-0.7.0-r0.log 07-Jan-2024 11:05 387K idris2-0.7.0-r1.log 12-Jan-2024 22:41 388K idris2-0.7.0-r2.log 14-Jan-2024 21:43 388K idris2-0.7.0-r3.log 20-Apr-2024 11:36 388K idris2-0.7.0-r4.log 21-Apr-2024 08:35 388K