../ agda-bin_2.6.4.3-1_alpha.deb 21-Nov-2025 12:03 17022880 agda_2.6.4.3-1_alpha.buildinfo 21-Nov-2025 12:03 14351 libghc-agda-dev_2.3.0.1-2_alpha.deb 03-Jul-2012 14:10 24181778 libghc-agda-dev_2.6.4.3-1_alpha.deb 21-Nov-2025 12:03 36371704