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                     18-Apr-2026 05:54             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                    18-Apr-2026 05:52             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                           18-Apr-2026 05:54               12304
agda_2.6.4.3-1_all.deb                             18-Apr-2026 05:52               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                18-Apr-2026 05:54               50944
elpa-agda2-mode_2.6.4.3-1_all.deb                  18-Apr-2026 05:52               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              18-Apr-2026 05:54            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             18-Apr-2026 05:52            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                18-Apr-2026 05:54             6599972
libghc-agda-doc_2.6.4.3-1_all.deb                  18-Apr-2026 05:52             7489680