../ agda-bin_2.6.4.3-1+b1_loong64.deb 24-Feb-2025 15:03 13M agda_2.6.4.3-1+b1_loong64.buildinfo 24-Feb-2025 15:03 16K libghc-agda-dev_2.6.4.3-1+b1_loong64.deb 24-Feb-2025 15:03 44M