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

../
agda-bin_2.6.2.2-1.1_amd64.deb                     27-Jul-2023 13:08             7751992
agda-bin_2.6.4.3-1+b2_amd64.deb                    10-Aug-2025 09:48             9846396
agda_2.6.2.2-1.1_all.deb                           27-Jul-2023 13:08               12304
agda_2.6.4.3-1_all.deb                             10-Aug-2025 09:48               12148
elpa-agda2-mode_2.6.2.2-1.1_all.deb                27-Jul-2023 13:08               50944
elpa-agda2-mode_2.6.4.3-1_all.deb                  10-Aug-2025 09:48               51316
libghc-agda-dev_2.6.2.2-1.1_amd64.deb              27-Jul-2023 13:09            24853036
libghc-agda-dev_2.6.4.3-1+b2_amd64.deb             10-Aug-2025 09:48            22821040
libghc-agda-doc_2.6.2.2-1.1_all.deb                27-Jul-2023 13:09             6599972
libghc-agda-doc_2.6.4.3-1_all.deb                  10-Aug-2025 09:48             7489680