Index of /packages/i/idris/

../
idris-1.3.4-561-x86_64.pkg.tar.zst                 01-Sep-2026 10:18      9M
idris-1.3.4-561-x86_64.pkg.tar.zst.sig             01-Sep-2026 10:18     566
idris-1.3.4-562-x86_64.pkg.tar.zst                 07-Sep-2026 02:41      9M
idris-1.3.4-562-x86_64.pkg.tar.zst.sig             07-Sep-2026 02:41     566
idris-1.3.4-565-x86_64.pkg.tar.zst                 17-Sep-2026 10:19      9M
idris-1.3.4-565-x86_64.pkg.tar.zst.sig             17-Sep-2026 10:19     566
idris-1.3.4-566-x86_64.pkg.tar.zst                 23-Sep-2026 09:17      9M
idris-1.3.4-566-x86_64.pkg.tar.zst.sig             23-Sep-2026 09:17     566