Index of /devuan-merged/pool/DEBIAN/main/a/agda/

../
agda-bin_2.8.0-2+b2_amd64.deb                      09-Oct-2026 07:51            10285156
agda_2.8.0-2_all.deb                               09-Oct-2026 07:51               17396
elpa-agda2-mode_2.8.0-2_all.deb                    09-Oct-2026 07:51               57648
libghc-agda-dev_2.8.0-2+b2_amd64.deb               09-Oct-2026 07:51            37682992
libghc-agda-doc_2.8.0-2_all.deb                    09-Oct-2026 07:51             7585956