Index of /pool/main/a/agda/

../
agda-bin_2.5.3-3build1_amd64.deb                   06-Apr-2022 20:42             5728080
agda-bin_2.6.0.1-1build4_amd64.deb                 02-Apr-2022 07:00             6571852
agda-bin_2.6.1-1build2.1_amd64.deb                 31-Mar-2022 21:45             9541384
agda-bin_2.6.3-1build1_amd64.deb                   21-Mar-2024 06:05            10985550
agda-mode_2.5.3-3build1_all.deb                    06-Apr-2022 21:20                3584
agda-mode_2.6.0.1-1build4_all.deb                  02-Apr-2022 06:27                3644
agda_2.5.3-3build1_all.deb                         06-Apr-2022 20:43                3052
agda_2.6.0.1-1build4_all.deb                       02-Apr-2022 05:38                4056
agda_2.6.1-1build2.1_all.deb                       31-Mar-2022 19:45                4134
agda_2.6.3-1build1_all.deb                         21-Mar-2024 05:39                3758
elpa-agda2-mode_2.5.3-3build1_all.deb              06-Apr-2022 20:57               40852
elpa-agda2-mode_2.6.0.1-1build4_all.deb            02-Apr-2022 07:00               41180
elpa-agda2-mode_2.6.1-1build2.1_all.deb            31-Mar-2022 19:55               46174
elpa-agda2-mode_2.6.3-1build1_all.deb              21-Mar-2024 07:20               46250
libghc-agda-dev_2.5.3-3build1_amd64.deb            06-Apr-2022 21:06            15874428
libghc-agda-dev_2.6.0.1-1build4_amd64.deb          02-Apr-2022 06:33            19681864
libghc-agda-dev_2.6.1-1build2.1_amd64.deb          31-Mar-2022 20:08            40255774
libghc-agda-dev_2.6.3-1build1_amd64.deb            21-Mar-2024 05:36            25485196
libghc-agda-doc_2.5.3-3build1_all.deb              06-Apr-2022 21:03             2752184
libghc-agda-doc_2.6.0.1-1build4_all.deb            02-Apr-2022 05:04             4206940
libghc-agda-doc_2.6.1-1build2.1_all.deb            31-Mar-2022 22:02             5403312
libghc-agda-doc_2.6.3-1build1_all.deb              21-Mar-2024 06:05             6288876