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

../
agda-bin_2.4.2.5-1kord1_amd64.deb                  29-May-2021 08:56             4804310
agda-bin_2.4.2.5-1kord1_arm64.deb                  01-Jun-2021 09:41             7961858
agda-bin_2.4.2.5-1kord1_i386.deb                   20-Jul-2021 07:05             4786742
agda-bin_2.6.0.1-1build4_amd64.deb                 25-May-2021 07:10             6584656
agda-bin_2.6.3-ok1_amd64.deb                       18-Apr-2025 03:30            10232508
agda-bin_2.6.3-ok1_arm64.deb                       18-Apr-2025 04:04            10294632
agda-bin_2.6.3-ok1_loong64.deb                     18-Apr-2025 04:35            12507680
agda-mode_2.4.2.5-1kord1_all.deb                   01-Jun-2021 09:41               39102
agda-mode_2.6.0.1-1build4_all.deb                  25-May-2021 07:10               17468
agda_2.4.2.5-1kord1_all.deb                        01-Jun-2021 09:41                4808
agda_2.6.0.1-1build4_all.deb                       25-May-2021 07:10               17886
agda_2.6.3-ok1_all.deb                             09-Apr-2025 02:19                5028
elpa-agda2-mode_2.6.0.1-1build4_all.deb            25-May-2021 07:12               54976
elpa-agda2-mode_2.6.3-ok1_all.deb                  09-Apr-2025 02:26               44144
libghc-agda-dev_2.4.2.5-1kord1_amd64.deb           29-May-2021 08:56            10639554
libghc-agda-dev_2.4.2.5-1kord1_arm64.deb           01-Jun-2021 09:41            16614038
libghc-agda-dev_2.4.2.5-1kord1_i386.deb            20-Jul-2021 07:41            10507912
libghc-agda-dev_2.6.0.1-1build4_amd64.deb          25-May-2021 07:17            19719354
libghc-agda-dev_2.6.3-ok1_amd64.deb                18-Apr-2025 03:26            23636620
libghc-agda-dev_2.6.3-ok1_arm64.deb                18-Apr-2025 03:58            25445644
libghc-agda-dev_2.6.3-ok1_loong64.deb              18-Apr-2025 04:29            39829214
libghc-agda-doc_2.4.2.5-1kord1_all.deb             01-Jun-2021 09:41             2167932
libghc-agda-doc_2.6.0.1-1build4_all.deb            25-May-2021 07:17             4220972
libghc-agda-doc_2.6.3-ok1_all.deb                  09-Apr-2025 02:26             7045896