../ idris2-stage0-0.7.0-r1.log.gz 29-Apr-2024 17:55 20K idris2-stage0-0.7.0-r2.log 19-Nov-2024 14:09 399K idris2-stage0-0.7.0-r3.log 12-May-2025 15:45 399K idris2-stage0-0.7.0-r4.log 20-Nov-2025 17:24 400K idris2-stage0-0.8.0-r0.log 11-Dec-2025 17:51 414K idris2-stage0-0.8.0-r1.log 15-Dec-2025 20:18 414K idris2-stage0-0.8.0-r2.log 20-Dec-2025 13:16 414K