../ agda-bin_2.6.1-1+b2_amd64.deb 19-Aug-2020 19:59 8910056 agda_2.6.1-1.debian.tar.xz 29-Jul-2020 15:40 10060 agda_2.6.1-1.dsc 29-Jul-2020 15:40 4186 agda_2.6.1-1_all.deb 29-Jul-2020 16:40 28736 agda_2.6.1.orig.tar.gz 29-Jul-2020 15:40 2646289 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