../ idris2-0.7.0-r4.log.gz 29-Jul-2024 19:22 22K idris2-0.7.0-r5.log 19-Nov-2024 14:01 388K idris2-0.7.0-r6.log 06-Dec-2024 19:26 388K idris2-0.7.0-r7.log 13-May-2025 15:12 388K idris2-0.8.0-r0.log 11-Dec-2025 17:34 393K idris2-0.8.0-r1.log 15-Dec-2025 20:13 393K idris2-0.8.0-r2.log 20-Dec-2025 13:27 393K