Index of /etap/pool/main/a/agda/

../
agda-bin_2.4.0.2-2+b1_amd64.deb                    27-Sep-2017 13:17      4M
agda-bin_2.4.0.2-2+b1_i386.deb                     27-Sep-2017 13:59      4M
agda-mode_2.4.0.2-2_all.deb                        27-Sep-2017 14:32     86K
agda_2.4.0.2-2.debian.tar.xz                       27-Sep-2017 14:50    7344
agda_2.4.0.2-2.dsc                                 27-Sep-2017 14:50    3938
agda_2.4.0.2-2_all.deb                             27-Sep-2017 15:06     55K
agda_2.4.0.2.orig.tar.gz                           27-Sep-2017 14:50    889K
libghc-agda-dev_2.4.0.2-2+b1_amd64.deb             27-Sep-2017 13:32      9M
libghc-agda-dev_2.4.0.2-2+b1_i386.deb              27-Sep-2017 14:56      9M
libghc-agda-doc_2.4.0.2-2_all.deb                  27-Sep-2017 12:08      2M