Index of /pool/main/a/agda/

../
agda-bin_2.6.2.2-1.1+b1_riscv64.deb                23-Dec-2025 07:00            12721736
agda-bin_2.6.2.2-1.1_riscv64.deb                   24-May-2024 15:21            17010612
agda_2.6.2.2-1.1+b1_riscv64.buildinfo              23-Dec-2025 07:00               14483
agda_2.6.2.2-1.1.debian.tar.xz                     08-May-2024 13:06               10496
agda_2.6.2.2-1.1.dsc                               08-May-2024 13:06                4426
agda_2.6.2.2-1.1_all.deb                           24-May-2024 15:21               12304
agda_2.6.2.2.orig.tar.gz                           08-May-2024 13:06             1690635
elpa-agda2-mode_2.6.2.2-1.1_all.deb                24-May-2024 15:21               50944
libghc-agda-dev_2.6.2.2-1.1+b1_riscv64.deb         23-Dec-2025 07:00            51345452
libghc-agda-dev_2.6.2.2-1.1_riscv64.deb            24-May-2024 15:21            57525316
libghc-agda-doc_2.6.2.2-1.1_all.deb                24-May-2024 15:22             6599972