Index of /debian/pool/main/a/agda/


../
agda-bin_2.4.0.2-2+b1_amd64.deb                    07-Sep-2014 15:27             3920024
agda-bin_2.5.1.1-3+b3_amd64.deb                    10-Nov-2016 14:40             6169260
agda-bin_2.5.4.1-3+b1_amd64.deb                    04-Dec-2018 07:59             5868440
agda-mode_2.4.0.2-2_all.deb                        11-Aug-2014 08:28               88336
agda-mode_2.5.1.1-3_all.deb                        28-Oct-2016 21:56               79668
agda-mode_2.5.4.1-3_all.deb                        20-Oct-2018 18:57              117680
agda_2.4.0.2-2.debian.tar.xz                       11-Aug-2014 08:28                7344
agda_2.4.0.2-2.dsc                                 11-Aug-2014 08:28                3938
agda_2.4.0.2-2_all.deb                             11-Aug-2014 08:28               56362
agda_2.4.0.2.orig.tar.gz                           05-Aug-2014 06:23              910389
agda_2.5.1.1-3.debian.tar.xz                       27-Oct-2016 21:24                9020
agda_2.5.1.1-3.dsc                                 27-Oct-2016 21:24                4210
agda_2.5.1.1-3_all.deb                             28-Oct-2016 21:56               80092
agda_2.5.1.1.orig.tar.gz                           16-Oct-2016 17:43             1175603
agda_2.5.4.1-3.debian.tar.xz                       20-Oct-2018 17:41                9928
agda_2.5.4.1-3.dsc                                 20-Oct-2018 17:41                3870
agda_2.5.4.1-3_all.deb                             20-Oct-2018 18:57              118104
agda_2.5.4.1.orig.tar.gz                           30-Sep-2018 07:54             1989201
elpa-agda2-mode_2.5.1.1-3_all.deb                  28-Oct-2016 21:56              115256
elpa-agda2-mode_2.5.4.1-3_all.deb                  20-Oct-2018 18:57              155444
libghc-agda-dev_2.4.0.2-2+b1_amd64.deb             07-Sep-2014 15:27             9793172
libghc-agda-dev_2.5.1.1-3+b3_amd64.deb             10-Nov-2016 14:40            12846156
libghc-agda-dev_2.5.4.1-3+b1_amd64.deb             04-Dec-2018 07:59            17170668
libghc-agda-doc_2.4.0.2-2_all.deb                  11-Aug-2014 08:28             1959856
libghc-agda-doc_2.5.1.1-3_all.deb                  28-Oct-2016 21:56             2649336
libghc-agda-doc_2.5.4.1-3_all.deb                  20-Oct-2018 18:57             3790832