../ agda_2.6.3-1_all.deb 13-Oct-2023 16:30 20128 elpa-agda2-mode_2.6.3-1_all.deb 13-Oct-2023 16:30 59256 libghc-agda-doc_2.6.3-1_all.deb 13-Oct-2023 16:30 6957572