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

../
agda-bin_2.6.1-1+b2_amd64.deb                      12-May-2025 11:33             8910056
agda-bin_2.6.2.2-1.1_amd64.deb                     11-Aug-2026 16:35             7751992
agda-bin_2.6.4.3-1+b1_amd64.deb                    02-Feb-2025 07:53             9845484
agda-bin_2.6.4.3-1+b1_i386.deb                     14-Feb-2025 15:03            14747792
agda-bin_2.6.4.3-1+b2_amd64.deb                    11-Aug-2026 16:34             9846396
agda-bin_2.6.4.3-1+b2_i386.deb                     13-Jan-2026 13:17            14756624
agda-bin_2.6.4.3-1_amd64.deb                       01-Feb-2025 19:02             9852176
agda_2.6.1-1_all.deb                               12-May-2025 11:33               28736
agda_2.6.2.2-1.1_all.deb                           11-Aug-2026 16:36               12304
agda_2.6.4.3-1_all.deb                             11-Aug-2026 16:34               12148
elpa-agda2-mode_2.6.1-1_all.deb                    12-May-2025 11:33               66816
elpa-agda2-mode_2.6.2.2-1.1_all.deb                11-Aug-2026 16:36               50944
elpa-agda2-mode_2.6.4.3-1_all.deb                  11-Aug-2026 16:34               51316
libghc-agda-dev_2.6.1-1+b2_amd64.deb               12-May-2025 11:33            37948252
libghc-agda-dev_2.6.2.2-1.1_amd64.deb              11-Aug-2026 16:35            24853036
libghc-agda-dev_2.6.4.3-1+b1_amd64.deb             02-Feb-2025 07:53            22840632
libghc-agda-dev_2.6.4.3-1+b1_i386.deb              14-Feb-2025 15:03            37357196
libghc-agda-dev_2.6.4.3-1+b2_amd64.deb             11-Aug-2026 16:34            22821040
libghc-agda-dev_2.6.4.3-1+b2_i386.deb              13-Jan-2026 13:17            37341944
libghc-agda-dev_2.6.4.3-1_amd64.deb                01-Feb-2025 19:02            22847960
libghc-agda-doc_2.6.1-1_all.deb                    12-May-2025 11:33             5799636
libghc-agda-doc_2.6.2.2-1.1_all.deb                11-Aug-2026 16:36             6599972
libghc-agda-doc_2.6.4.3-1_all.deb                  11-Aug-2026 16:34             7489680