../ agda-bin_2.6.3-1build1_amd64.deb 28-Oct-2025 13:30 10985550 libghc-agda-dev_2.6.3-1build1_amd64.deb 28-Oct-2025 13:40 25485196