../ idris2-0.7.0-r4.log.gz 29-Apr-2024 18:05 22K idris2-0.7.0-r5.log 19-Nov-2024 14:20 388K idris2-0.7.0-r6.log 06-Dec-2024 19:26 388K idris2-0.7.0-r7.log 12-May-2025 16:10 388K idris2-0.8.0-r0.log 11-Dec-2025 18:06 394K idris2-0.8.0-r1.log 15-Dec-2025 20:30 394K idris2-0.8.0-r2.log 20-Dec-2025 13:28 394K