Index of /kylin/KYLIN-ALL/pool/main/a/agda/

../
agda-bin_2.6.3-ok1_amd64.deb                       29-Sep-2024 08:42            10232508
agda-bin_2.6.3-ok1_arm64.deb                       09-Oct-2024 09:38            10294630
agda-bin_2.6.3-ok1_loong64.deb                     31-Oct-2024 10:26            12507678
agda_2.6.3-ok1_all.deb                             29-Sep-2024 07:47                5028
elpa-agda2-mode_2.6.3-ok1_all.deb                  29-Sep-2024 09:02               44142
libghc-agda-dev_2.6.3-ok1_amd64.deb                29-Sep-2024 08:59            23636620
libghc-agda-dev_2.6.3-ok1_arm64.deb                09-Oct-2024 09:49            25445644
libghc-agda-dev_2.6.3-ok1_loong64.deb              31-Oct-2024 09:59            39829216
libghc-agda-doc_2.6.3-ok1_all.deb                  29-Sep-2024 08:31             7045896