Index of /pardus-yenikusak/pool/main/a/agda/

../
agda-bin_2.4.0.2-2+b1_amd64.deb                    10-Mar-2016 10:00      4M
agda-bin_2.4.0.2-2+b1_i386.deb                     10-Mar-2016 10:26      4M
agda-mode_2.4.0.2-2_all.deb                        10-Mar-2016 10:42     86K
agda_2.4.0.2-2.debian.tar.xz                       10-Mar-2016 10:19    7344
agda_2.4.0.2-2.dsc                                 10-Mar-2016 10:19    3938
agda_2.4.0.2-2_all.deb                             10-Mar-2016 10:32     55K
agda_2.4.0.2.orig.tar.gz                           10-Mar-2016 10:19    889K
libghc-agda-dev_2.4.0.2-2+b1_amd64.deb             10-Mar-2016 10:27      9M
libghc-agda-dev_2.4.0.2-2+b1_i386.deb              10-Mar-2016 09:46      9M
libghc-agda-doc_2.4.0.2-2_all.deb                  10-Mar-2016 10:05      2M