Index of /kylinsoft/anything3.0/openkylin/pool/main/a/agda/

../
agda-bin_2.8.0-ok1_amd64.deb                       24-Jun-2026 20:50            10986980
agda-bin_2.8.0-ok1_arm64.deb                       26-Jun-2026 14:02            11675508
agda_2.8.0-ok1.debian.tar.xz                       06-May-2026 10:41                5176
agda_2.8.0-ok1.dsc                                 06-May-2026 10:41                5723
agda_2.8.0-ok1_all.deb                             24-Jun-2026 20:50                2880
agda_2.8.0.orig.tar.gz                             06-May-2026 10:41             1951997
elpa-agda2-mode_2.8.0-ok1_all.deb                  24-Jun-2026 20:50               46762
libghc-agda-dev_2.8.0-ok1_amd64.deb                24-Jun-2026 20:50            39235998
libghc-agda-dev_2.8.0-ok1_arm64.deb                26-Jun-2026 14:02            43529652
libghc-agda-doc_2.8.0-ok1_all.deb                  24-Jun-2026 20:50             6564030