Index of /pool/main/a/agda/

../
agda-bin_2.6.4.3-1+b2_amd64.deb                    29-Jul-2026 13:35             9846396
agda-bin_2.8.0-2+b2_amd64.deb                      06-Sep-2026 16:22            10285156
agda_2.6.4.3-1_all.deb                             29-Jul-2026 13:35               12148
agda_2.8.0-2_all.deb                               06-Sep-2026 16:22               17396
elpa-agda2-mode_2.6.4.3-1_all.deb                  29-Jul-2026 13:35               51316
elpa-agda2-mode_2.8.0-2_all.deb                    06-Sep-2026 16:22               57648
libghc-agda-dev_2.6.4.3-1+b2_amd64.deb             29-Jul-2026 13:35            22821040
libghc-agda-dev_2.8.0-2+b2_amd64.deb               06-Sep-2026 16:22            37682992
libghc-agda-doc_2.6.4.3-1_all.deb                  29-Jul-2026 13:35             7489680
libghc-agda-doc_2.8.0-2_all.deb                    06-Sep-2026 16:22             7585956