../ agda-bin_2.5.1.1-3+b3_amd64.deb 20-Dec-2022 15:19 6M agda-bin_2.5.1.1-3+b3_i386.deb 12-Nov-2024 10:41 6M agda-mode_2.5.1.1-3_all.deb 20-Dec-2022 15:19 78K agda_2.5.1.1-3_all.deb 20-Dec-2022 15:19 78K elpa-agda2-mode_2.5.1.1-3_all.deb 20-Dec-2022 15:19 113K libghc-agda-dev_2.5.1.1-3+b3_amd64.deb 20-Dec-2022 15:19 12M libghc-agda-dev_2.5.1.1-3+b3_i386.deb 12-Nov-2024 11:26 14M libghc-agda-doc_2.5.1.1-3_all.deb 20-Dec-2022 15:19 3M