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


../
agda-bin_2.4.0.2-2+b1_amd64.deb                    07-Sep-2014 18:27      4M
agda-bin_2.4.0.2-2+b1_i386.deb                     08-Sep-2014 07:57      4M
agda-bin_2.5.1.1-3+b3_amd64.deb                    10-Nov-2016 17:40      6M
agda-bin_2.5.1.1-3+b3_i386.deb                     10-Nov-2016 17:00      6M
agda-bin_2.5.4.1-3+b1_amd64.deb                    04-Dec-2018 10:59      6M
agda-bin_2.5.4.1-3+b1_i386.deb                     04-Dec-2018 10:43      6M
agda-bin_2.5.4.1-3+b1_ppc64el.deb                  04-Dec-2018 10:43      8M
agda-bin_2.6.0.1-1+b1_amd64.deb                    13-Sep-2019 14:58      6M
agda-bin_2.6.0.1-1+b1_i386.deb                     13-Sep-2019 17:26      6M
agda-bin_2.6.0.1-1+b1_ppc64el.deb                  13-Sep-2019 14:12      9M
agda-mode_2.4.0.2-2_all.deb                        11-Aug-2014 11:28     86K
agda-mode_2.5.1.1-3_all.deb                        29-Oct-2016 00:56     78K
agda-mode_2.5.4.1-3_all.deb                        20-Oct-2018 21:57    115K
agda-mode_2.6.0.1-1_all.deb                        31-Aug-2019 16:34    128K
agda_2.4.0.2-2.debian.tar.xz                       11-Aug-2014 11:28    7344
agda_2.4.0.2-2.dsc                                 11-Aug-2014 11:28    3938
agda_2.4.0.2-2_all.deb                             11-Aug-2014 11:28     55K
agda_2.4.0.2.orig.tar.gz                           05-Aug-2014 09:23    889K
agda_2.5.1.1-3.debian.tar.xz                       28-Oct-2016 00:24    9020
agda_2.5.1.1-3.dsc                                 28-Oct-2016 00:24    4210
agda_2.5.1.1-3_all.deb                             29-Oct-2016 00:56     78K
agda_2.5.1.1.orig.tar.gz                           16-Oct-2016 20:43      1M
agda_2.5.4.1-3.debian.tar.xz                       20-Oct-2018 20:41    9928
agda_2.5.4.1-3.dsc                                 20-Oct-2018 20:41    3870
agda_2.5.4.1-3_all.deb                             20-Oct-2018 21:57    115K
agda_2.5.4.1.orig.tar.gz                           30-Sep-2018 10:54      2M
agda_2.6.0.1-1.debian.tar.xz                       31-Aug-2019 14:18     10K
agda_2.6.0.1-1.dsc                                 31-Aug-2019 14:18    4190
agda_2.6.0.1-1_all.deb                             31-Aug-2019 16:34    128K
agda_2.6.0.1.orig.tar.gz                           31-Aug-2019 14:18      2M
elpa-agda2-mode_2.5.1.1-3_all.deb                  29-Oct-2016 00:56    113K
elpa-agda2-mode_2.5.4.1-3_all.deb                  20-Oct-2018 21:57    152K
elpa-agda2-mode_2.6.0.1-1_all.deb                  31-Aug-2019 16:34    165K
libghc-agda-dev_2.4.0.2-2+b1_amd64.deb             07-Sep-2014 18:27      9M
libghc-agda-dev_2.4.0.2-2+b1_i386.deb              08-Sep-2014 07:57      9M
libghc-agda-dev_2.5.1.1-3+b3_amd64.deb             10-Nov-2016 17:40     12M
libghc-agda-dev_2.5.1.1-3+b3_i386.deb              10-Nov-2016 17:00     14M
libghc-agda-dev_2.5.4.1-3+b1_amd64.deb             04-Dec-2018 10:59     16M
libghc-agda-dev_2.5.4.1-3+b1_i386.deb              04-Dec-2018 10:43     16M
libghc-agda-dev_2.5.4.1-3+b1_ppc64el.deb           04-Dec-2018 10:43     23M
libghc-agda-dev_2.6.0.1-1+b1_amd64.deb             13-Sep-2019 14:58     19M
libghc-agda-dev_2.6.0.1-1+b1_i386.deb              13-Sep-2019 17:26     19M
libghc-agda-dev_2.6.0.1-1+b1_ppc64el.deb           13-Sep-2019 14:12     28M
libghc-agda-doc_2.4.0.2-2_all.deb                  11-Aug-2014 11:28      2M
libghc-agda-doc_2.5.1.1-3_all.deb                  29-Oct-2016 00:56      3M
libghc-agda-doc_2.5.4.1-3_all.deb                  20-Oct-2018 21:57      4M
libghc-agda-doc_2.6.0.1-1_all.deb                  31-Aug-2019 16:34      4M