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

../
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.orig.tar.gz                             06-May-2026 10:41             1951997