Index of /argostmp/pool/main/a/agda/

../
agda-bin_2.6.4.3-1_amd64.deb                       29-Mar-2025 16:50             9842496
agda-bin_2.6.4.3-1_arm64.deb                       19-Feb-2025 23:50             9868884
agda-bin_2.6.4.3-1_armel.deb                       22-Feb-2025 11:19            13970576
agda-bin_2.6.4.3-1_i386.deb                        22-Feb-2025 10:59            14754248
agda-bin_2.6.4.3-1_powerpc.deb                     21-Mar-2025 02:19            13582440
agda-bin_2.6.4.3-1_ppc64.deb                       21-Mar-2025 02:18             9407236
agda-bin_2.6.4.3-1_ppc64el.deb                     22-Feb-2025 11:42             9455464
agda-bin_2.6.4.3-1_riscv64.deb                     01-Mar-2025 12:33            13082580
agda_2.6.4.3-1.debian.tar.xz                       08-Oct-2024 10:41               10460
agda_2.6.4.3-1.dsc                                 08-Oct-2024 10:41                5197
agda_2.6.4.3-1_all.deb                             10-Feb-2025 12:11                4120
agda_2.6.4.3.orig.tar.gz                           08-Oct-2024 10:41             1869461
elpa-agda2-mode_2.6.4.3-1_all.deb                  10-Feb-2025 12:11               43284
libghc-agda-dev_2.6.4.3-1_amd64.deb                29-Mar-2025 16:50            22819292
libghc-agda-dev_2.6.4.3-1_arm64.deb                19-Feb-2025 23:50            24465960
libghc-agda-dev_2.6.4.3-1_armel.deb                22-Feb-2025 11:19            31218592
libghc-agda-dev_2.6.4.3-1_i386.deb                 22-Feb-2025 10:59            37342548
libghc-agda-dev_2.6.4.3-1_powerpc.deb              21-Mar-2025 02:19            33813104
libghc-agda-dev_2.6.4.3-1_ppc64.deb                21-Mar-2025 02:18            29307724
libghc-agda-dev_2.6.4.3-1_ppc64el.deb              22-Feb-2025 11:42            30480144
libghc-agda-dev_2.6.4.3-1_riscv64.deb              01-Mar-2025 12:33            41721896
libghc-agda-doc_2.6.4.3-1_all.deb                  10-Feb-2025 12:11             7481308