Index of /loongnix/25/pool/main/a/agda/

../
agda-bin_2.6.3-1_loong64.deb                       29-Oct-2024 18:49            12510368
agda-bin_2.6.3-2_loong64.deb                       29-Oct-2024 18:49            12509152
agda_2.6.3-1_all.deb                               30-Oct-2024 23:49               20128
agda_2.6.3-2.debian.tar.xz                         15-Nov-2024 14:54               11636
agda_2.6.3-2.dsc                                   15-Nov-2024 14:54                4945
agda_2.6.3-2_all.deb                               30-Oct-2024 23:50               20268
agda_2.6.3.orig.tar.gz                             15-Nov-2024 14:54             1794269
elpa-agda2-mode_2.6.3-1_all.deb                    30-Oct-2024 23:49               59256
elpa-agda2-mode_2.6.3-2_all.deb                    30-Oct-2024 23:49               59504
libghc-agda-dev_2.6.3-1_loong64.deb                29-Oct-2024 18:49            40105448
libghc-agda-dev_2.6.3-2_loong64.deb                29-Oct-2024 18:49            39752228
libghc-agda-doc_2.6.3-1_all.deb                    30-Oct-2024 23:50             6957572
libghc-agda-doc_2.6.3-2_all.deb                    30-Oct-2024 23:50             7061496