Index of /bianbu/pool/universe/a/agda/

../
agda-bin_2.6.3-1build1_riscv64.deb                 21-Aug-2024 14:31     12M
agda-bin_2.6.4.3-1_riscv64.deb                     15-Jun-2025 18:42     14M
agda_2.6.3-1build1.debian.tar.xz                   08-Nov-2023 09:36     11K
agda_2.6.3-1build1.dsc                             08-Nov-2023 09:36    4939
agda_2.6.3-1build1_all.deb                         21-Aug-2024 14:31     12K
agda_2.6.3.orig.tar.gz                             26-Oct-2023 15:43      2M
agda_2.6.4.3-1.debian.tar.xz                       25-Oct-2024 19:11     10K
agda_2.6.4.3-1.dsc                                 25-Oct-2024 19:11    5197
agda_2.6.4.3-1_all.deb                             20-May-2025 15:08    3702
agda_2.6.4.3.orig.tar.gz                           25-Oct-2024 19:11      2M
elpa-agda2-mode_2.6.3-1build1_all.deb              21-Aug-2024 14:31     53K
elpa-agda2-mode_2.6.4.3-1_all.deb                  20-May-2025 15:08     45K
libghc-agda-dev_2.6.3-1build1_riscv64.deb          21-Aug-2024 14:31     45M
libghc-agda-dev_2.6.4.3-1_riscv64.deb              15-Jun-2025 18:42     48M
libghc-agda-doc_2.6.3-1build1_all.deb              21-Aug-2024 14:31      6M
libghc-agda-doc_2.6.4.3-1_all.deb                  20-May-2025 15:08      6M