Index of /pool/main/a/agda/

../
agda-bin_2.6.1-1+b2_amd64.deb                      23-Jul-2026 09:03             8910056
agda-bin_2.6.2.2-1.1_amd64.deb                     22-Jul-2026 14:09             7751992
agda-bin_2.6.4.3-1+b2_amd64.deb                    23-Jul-2026 11:16             9846396
agda_2.6.1-1_all.deb                               23-Jul-2026 09:07               28736
agda_2.6.2.2-1.1_all.deb                           22-Jul-2026 13:56               12304
agda_2.6.4.3-1_all.deb                             23-Jul-2026 11:19               12148
elpa-agda2-mode_2.6.1-1_all.deb                    23-Jul-2026 09:01               66816
elpa-agda2-mode_2.6.2.2-1.1_all.deb                22-Jul-2026 14:08               50944
elpa-agda2-mode_2.6.4.3-1_all.deb                  23-Jul-2026 10:54               51316
libghc-agda-dev_2.6.1-1+b2_amd64.deb               23-Jul-2026 09:02            37948252
libghc-agda-dev_2.6.2.2-1.1_amd64.deb              22-Jul-2026 13:51            24853036
libghc-agda-dev_2.6.4.3-1+b2_amd64.deb             23-Jul-2026 10:43            22821040
libghc-agda-doc_2.6.1-1_all.deb                    23-Jul-2026 08:59             5799636
libghc-agda-doc_2.6.2.2-1.1_all.deb                22-Jul-2026 13:55             6599972
libghc-agda-doc_2.6.4.3-1_all.deb                  23-Jul-2026 11:10             7489680