../ agda-bin_2.5.4.1-3+b1_amd64.deb 25-Jan-2023 14:42 6M agda-bin_2.5.4.1-3+b1_i386.deb 08-Nov-2024 08:08 6M agda-mode_2.5.4.1-3_all.deb 25-Jan-2023 14:42 115K agda_2.5.4.1-3_all.deb 25-Jan-2023 14:42 115K elpa-agda2-mode_2.5.4.1-3_all.deb 25-Jan-2023 15:59 152K libghc-agda-dev_2.5.4.1-3+b1_amd64.deb 25-Jan-2023 19:29 16M libghc-agda-dev_2.5.4.1-3+b1_i386.deb 08-Nov-2024 09:02 16M libghc-agda-doc_2.5.4.1-3_all.deb 25-Jan-2023 19:29 4M