Index of /desktop-professional/pool/main/a/agda/

../
agda-bin_2.5.4.1-3+b1_amd64.deb                    07-May-2026 19:35             5868440
agda-mode_2.5.4.1-3_all.deb                        07-May-2026 19:35              117680
agda_2.5.4.1-3_all.deb                             07-May-2026 19:35              118104
elpa-agda2-mode_2.5.4.1-3_all.deb                  07-May-2026 19:35              155444
libghc-agda-dev_2.5.4.1-3+b1_amd64.deb             07-May-2026 19:35            17170668
libghc-agda-doc_2.5.4.1-3_all.deb                  07-May-2026 19:35             3790832