Index of /loongnix/20/pool/main/a/agda/

../
agda_2.5.4.1-3.debian.tar.xz                       21-Mar-2023 07:16                9928
agda_2.5.4.1-3.dsc                                 21-Mar-2023 07:16                3870
agda_2.5.4.1.orig.tar.gz                           21-Mar-2023 07:16             1989201