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

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