Index of /kylin/KYLIN-ALL/pool/universe/a/agda/extra/1/

../
agda-bin_2.6.3-ok1_amd64.deb                       05-Dec-2025 15:40            10232588
agda-bin_2.6.3-ok1_arm64.deb                       05-Dec-2025 14:27            10294712
agda-bin_2.6.3-ok1_loong64.deb                     05-Dec-2025 12:06            12507760
agda_2.6.3-ok1_all.deb                             05-Dec-2025 13:42                5108
elpa-agda2-mode_2.6.3-ok1_all.deb                  05-Dec-2025 12:45               44224
libghc-agda-dev_2.6.3-ok1_amd64.deb                05-Dec-2025 16:03            23636700
libghc-agda-dev_2.6.3-ok1_arm64.deb                05-Dec-2025 14:47            25445724
libghc-agda-dev_2.6.3-ok1_loong64.deb              05-Dec-2025 13:55            39829294
libghc-agda-doc_2.6.3-ok1_all.deb                  05-Dec-2025 13:11             7045976