Index of /distfiles/buildlogs/build-3-22-aarch64/community/idris2/

../
idris2-0.7.0-r6.log                                28-Apr-2025 14:14    389K
idris2-0.7.0-r7.log                                12-May-2025 16:47    388K