../ idris2-stage0-0.7.0-r1.log 29-Apr-2024 18:59 399K idris2-stage0-0.7.0-r2.log 17-Nov-2024 20:14 399K idris2-stage0-0.7.0-r3.log 13-May-2025 20:04 399K idris2-stage0-0.7.0-r4.log 21-Nov-2025 13:30 399K idris2-stage0-0.8.0-r0.log 13-Dec-2025 09:03 414K idris2-stage0-0.8.0-r1.log 17-Dec-2025 23:01 414K idris2-stage0-0.8.0-r2.log 20-Dec-2025 16:33 414K