Index of /debian/pool/main/a/agda/

../
agda-bin_2.6.2.2-1.1_amd64.deb                     07-Oct-2026 16:25             7751992
agda-bin_2.6.4.3-1+b2_amd64.deb                    07-Oct-2026 16:24             9846396
agda-bin_2.6.4.3-1+b2_i386.deb                     13-Jan-2026 13:17            14756624
agda-bin_2.8.0-2+b2_amd64.deb                      07-Oct-2026 16:22            10285156
agda_2.6.2.2-1.1_all.deb                           07-Oct-2026 16:26               12304
agda_2.6.4.3-1_all.deb                             07-Oct-2026 16:24               12148
agda_2.8.0-2_all.deb                               07-Oct-2026 16:23               17396
elpa-agda2-mode_2.6.2.2-1.1_all.deb                07-Oct-2026 16:26               50944
elpa-agda2-mode_2.6.4.3-1_all.deb                  07-Oct-2026 16:24               51316
elpa-agda2-mode_2.8.0-2_all.deb                    07-Oct-2026 16:23               57648
libghc-agda-dev_2.6.2.2-1.1_amd64.deb              07-Oct-2026 16:25            24853036
libghc-agda-dev_2.6.4.3-1+b2_amd64.deb             07-Oct-2026 16:24            22821040
libghc-agda-dev_2.6.4.3-1+b2_i386.deb              13-Jan-2026 13:17            37341944
libghc-agda-dev_2.8.0-2+b2_amd64.deb               07-Oct-2026 16:22            37682992
libghc-agda-doc_2.6.2.2-1.1_all.deb                07-Oct-2026 16:26             6599972
libghc-agda-doc_2.6.4.3-1_all.deb                  07-Oct-2026 16:24             7489680
libghc-agda-doc_2.8.0-2_all.deb                    07-Oct-2026 16:23             7585956