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

../
agda-bin_2.6.3-ok1_amd64.deb                       20-Jun-2024 07:31            10230640
agda-bin_2.6.3-ok1_arm64.deb                       23-Jun-2024 04:08            10292764
agda-bin_2.6.3-ok1_loong64.deb                     26-Aug-2024 21:49            12505812
agda_2.6.3-ok1.debian.tar.xz                       25-Mar-2024 18:05                6480
agda_2.6.3-ok1.dsc                                 25-Mar-2024 18:05                4728
agda_2.6.3-ok1_all.deb                             20-Jun-2024 07:31                3160
agda_2.6.3.orig.tar.gz                             25-Mar-2024 18:05             1794269
elpa-agda2-mode_2.6.3-ok1_all.deb                  20-Jun-2024 07:31               42276
libghc-agda-dev_2.6.3-ok1_amd64.deb                20-Jun-2024 07:31            23634752
libghc-agda-dev_2.6.3-ok1_arm64.deb                23-Jun-2024 04:08            25443776
libghc-agda-dev_2.6.3-ok1_loong64.deb              26-Aug-2024 21:49            39827348
libghc-agda-doc_2.6.3-ok1_all.deb                  20-Jun-2024 07:31             7044028