[To Parent Directory] 7/13/2024 12:43 AM 20128 agda_2.6.3-1_all.deb 7/13/2024 12:43 AM 59256 elpa-agda2-mode_2.6.3-1_all.deb 7/13/2024 12:43 AM 6957572 libghc-agda-doc_2.6.3-1_all.deb