../ agda-bin_2.3.2.2-1_amd64.deb 06-Nov-2013 17:28 5476328 agda-mode_2.3.2.2-1_all.deb 06-Nov-2013 17:28 48080 agda_2.3.2.2-1_all.deb 06-Nov-2013 17:28 2996 libghc-agda-dev_2.3.2.2-1_amd64.deb 06-Nov-2013 17:28 13586672 libghc-agda-doc_2.3.2.2-1_all.deb 06-Nov-2013 17:28 2186306