Index of /builds1/pool/main/a/agda/

../
agda-bin_2.6.4.3-1_loong64.deb                     27-Nov-2025 20:54            13785652
libghc-agda-dev_2.6.4.3-1_loong64.deb              27-Nov-2025 20:54            46238672