Index of /pool/main/a/agda/

../
agda-bin_2.6.3-1build1_amd64.deb                   28-Oct-2025 13:30            10985550
libghc-agda-dev_2.6.3-1build1_amd64.deb            28-Oct-2025 13:40            25485196