../ agda-bin_2.4.2.5-1build1_amd64.deb 12-Jan-2016 16:59 4803616 agda-bin_2.4.2.5-1build1_i386.deb 12-Jan-2016 16:45 4784082 agda-mode_2.4.2.5-1build1_all.deb 12-Jan-2016 16:59 37272 agda_2.4.2.5-1build1_all.deb 12-Jan-2016 16:59 2966 libghc-agda-dev_2.4.2.5-1build1_amd64.deb 12-Jan-2016 16:59 10670346 libghc-agda-dev_2.4.2.5-1build1_i386.deb 12-Jan-2016 16:45 10538222 libghc-agda-doc_2.4.2.5-1build1_all.deb 12-Jan-2016 16:59 2184422