../ agda-bin_2.6.1-1+b2_amd64.deb 19-Aug-2020 19:59 8910056 agda_2.6.1-1_all.deb 29-Jul-2020 16:40 28736 elpa-agda2-mode_2.6.1-1_all.deb 29-Jul-2020 16:40 66816 libghc-agda-dev_2.6.1-1+b2_amd64.deb 19-Aug-2020 19:59 37948252 libghc-agda-doc_2.6.1-1_all.deb 29-Jul-2020 16:40 5799636