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                     15-Dec-2025 22:38             7751992
agda-bin_2.6.3-1+b1_i386.deb                       29-Aug-2024 14:30            15371516
agda-bin_2.6.3-1+b2_amd64.deb                      06-May-2024 14:04            10253960
agda-bin_2.6.3-1+b3_amd64.deb                      29-Aug-2024 14:29            10251556
agda-bin_2.6.3-1_i386.deb                          06-May-2024 14:05            15346188
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                    15-Dec-2025 22:36             9846396
agda-bin_2.6.4.3-1+b2_i386.deb                     15-Dec-2025 22:36            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                           15-Dec-2025 22:38               12304
agda_2.6.3-1_all.deb                               29-Aug-2024 14:30               20128
agda_2.6.4.3-1_all.deb                             15-Dec-2025 22:37               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                15-Dec-2025 22:38               50944
elpa-agda2-mode_2.6.3-1_all.deb                    29-Aug-2024 14:30               59256
elpa-agda2-mode_2.6.4.3-1_all.deb                  15-Dec-2025 22:37               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              15-Dec-2025 22:38            24853036
libghc-agda-dev_2.6.3-1+b1_i386.deb                29-Aug-2024 14:30            39321424
libghc-agda-dev_2.6.3-1+b2_amd64.deb               06-May-2024 14:04            23650552
libghc-agda-dev_2.6.3-1+b3_amd64.deb               29-Aug-2024 14:29            23651156
libghc-agda-dev_2.6.3-1_i386.deb                   06-May-2024 14:05            39319820
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             15-Dec-2025 22:36            22821040
libghc-agda-dev_2.6.4.3-1+b2_i386.deb              15-Dec-2025 22:36            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                15-Dec-2025 22:38             6599972
libghc-agda-doc_2.6.3-1_all.deb                    29-Aug-2024 14:30             6957572
libghc-agda-doc_2.6.4.3-1_all.deb                  15-Dec-2025 22:37             7489680