Index of /rockos/trixie/rockos-base/pool/main/a/agda/

../
agda-bin_2.6.4.3-1+b2_amd64.deb                    04-Jun-2025 18:50      9M
agda-bin_2.6.4.3-1_riscv64.deb                     04-Jan-2025 10:32     12M
agda_2.6.4.3-1.debian.tar.xz                       04-Jan-2025 12:08     10K
agda_2.6.4.3-1.dsc                                 04-Jan-2025 12:08    5197
agda_2.6.4.3-1_all.deb                             04-Jan-2025 12:42     12K
agda_2.6.4.3.orig.tar.gz                           04-Jan-2025 12:08      2M
elpa-agda2-mode_2.6.4.3-1_all.deb                  04-Jan-2025 12:41     50K
libghc-agda-dev_2.6.4.3-1+b2_amd64.deb             04-Jun-2025 18:50     22M
libghc-agda-dev_2.6.4.3-1_riscv64.deb              04-Jan-2025 10:53     40M
libghc-agda-doc_2.6.4.3-1_all.deb                  04-Jan-2025 09:46      7M