Index of /univention-repository/pool/main/a/agda/

../
agda-bin_2.5.4.1-3+b1_amd64.deb                    27-Aug-2019 09:33             5868440
agda-bin_2.6.1-1+b2_amd64.deb                      25-Feb-2023 16:37             8910056
agda-bin_2.6.2.2-1.1_amd64.deb                     12-Mar-2023 07:09             7751992
agda-mode_2.5.4.1-3_all.deb                        27-Aug-2019 09:33              117680
agda_2.5.4.1-3_all.deb                             27-Aug-2019 09:33              118104
agda_2.6.1-1_all.deb                               25-Feb-2023 16:37               28736
agda_2.6.2.2-1.1_all.deb                           12-Mar-2023 07:09               12304
elpa-agda2-mode_2.5.4.1-3_all.deb                  27-Aug-2019 09:33              155444
elpa-agda2-mode_2.6.1-1_all.deb                    25-Feb-2023 16:37               66816
elpa-agda2-mode_2.6.2.2-1.1_all.deb                12-Mar-2023 07:09               50944
libghc-agda-dev_2.5.4.1-3+b1_amd64.deb             27-Aug-2019 09:33            17170668
libghc-agda-dev_2.6.1-1+b2_amd64.deb               25-Feb-2023 16:37            37948252
libghc-agda-dev_2.6.2.2-1.1_amd64.deb              12-Mar-2023 07:09            24853036
libghc-agda-doc_2.5.4.1-3_all.deb                  27-Aug-2019 09:33             3790832
libghc-agda-doc_2.6.1-1_all.deb                    25-Feb-2023 16:37             5799636
libghc-agda-doc_2.6.2.2-1.1_all.deb                12-Mar-2023 07:09             6599972