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

../
agda-bin_2.5.4.1-3+b1_amd64.deb                    31-Aug-2022 13:55             5868440
agda-bin_2.6.1-1+b2_amd64.deb                      01-Sep-2022 16:26             8910056
agda-mode_2.5.4.1-3_all.deb                        31-Aug-2022 13:55              117680
agda_2.5.4.1-3_all.deb                             31-Aug-2022 13:55              118104
agda_2.6.1-1_all.deb                               01-Sep-2022 16:26               28736
elpa-agda2-mode_2.5.4.1-3_all.deb                  31-Aug-2022 13:55              155444
elpa-agda2-mode_2.6.1-1_all.deb                    01-Sep-2022 16:26               66816
libghc-agda-dev_2.5.4.1-3+b1_amd64.deb             31-Aug-2022 13:55            17170668
libghc-agda-dev_2.6.1-1+b2_amd64.deb               01-Sep-2022 16:27            37948252
libghc-agda-doc_2.5.4.1-3_all.deb                  31-Aug-2022 13:55             3790832
libghc-agda-doc_2.6.1-1_all.deb                    01-Sep-2022 16:27             5799636