Index of /argostmp/pool/main/a/agda/

../
agda_2.6.4.3-1.debian.tar.xz                       08-Oct-2024 10:41               10460
agda_2.6.4.3-1.dsc                                 08-Oct-2024 10:41                5197
agda_2.6.4.3.orig.tar.gz                           08-Oct-2024 10:41             1869461