../ agda-bin_2.6.2.2-1.1_loong64.deb 02-Jul-2023 08:42 11M agda_2.6.2.2-1.1_all.deb 01-Jul-2023 15:33 12K elpa-agda2-mode_2.6.2.2-1.1_all.deb 01-Jul-2023 15:41 50K libghc-agda-dev_2.6.2.2-1.1_loong64.deb 02-Jul-2023 00:01 33M libghc-agda-doc_2.6.2.2-1.1_all.deb 01-Jul-2023 15:59 6M