Index of /packages/a/agda/

../
agda-2.8.0-10-x86_64.pkg.tar.zst                   17-Sep-2026 10:16     26M
agda-2.8.0-10-x86_64.pkg.tar.zst.sig               17-Sep-2026 10:16     566
agda-2.8.0-11-x86_64.pkg.tar.zst                   23-Sep-2026 09:15     26M
agda-2.8.0-11-x86_64.pkg.tar.zst.sig               23-Sep-2026 09:15     566
agda-2.8.0-8-x86_64.pkg.tar.zst                    01-Sep-2026 10:16     26M
agda-2.8.0-8-x86_64.pkg.tar.zst.sig                01-Sep-2026 10:16     566
agda-2.8.0-9-x86_64.pkg.tar.zst                    07-Sep-2026 02:40     26M
agda-2.8.0-9-x86_64.pkg.tar.zst.sig                07-Sep-2026 02:40     566