Index of /builds1/pkg-logs/agda_2.6.4.3-1_loong64.0000000/

../
agda_2.6.4.3-1_loong64.buildinfo                   27-Nov-2025 20:54               15182
agda_2.6.4.3-1_loong64.changes                     27-Nov-2025 20:54                2361