Index of /ubuntu/packages/pool/universe/a/agda/


../
agda-bin_2.3.2-1_amd64.deb                         10-Apr-2013 18:03      5M
agda-bin_2.3.2-1_i386.deb                          10-Apr-2013 18:03      5M
agda-bin_2.3.2.1-1_amd64.deb                       17-Jun-2013 00:03      5M
agda-bin_2.3.2.1-1_i386.deb                        17-Jun-2013 00:03      5M
agda-bin_2.3.2.2-1_amd64.deb                       06-Nov-2013 17:28      5M
agda-bin_2.3.2.2-1_i386.deb                        06-Nov-2013 17:28      5M
agda-bin_2.4.0.2-2_amd64.deb                       11-Aug-2014 16:53      4M
agda-bin_2.4.0.2-2_i386.deb                        11-Aug-2014 16:53      4M
agda-bin_2.4.0.2-2build1_amd64.deb                 29-Oct-2014 18:00      4M
agda-bin_2.4.0.2-2build1_i386.deb                  29-Oct-2014 18:01      4M
agda-bin_2.4.2.2-4build1_amd64.deb                 16-Aug-2015 09:23      4M
agda-bin_2.4.2.2-4build1_i386.deb                  16-Aug-2015 09:08      4M
agda-bin_2.4.2.5-1build1_amd64.deb                 12-Jan-2016 22:59      5M
agda-bin_2.4.2.5-1build1_i386.deb                  12-Jan-2016 22:45      5M
agda-bin_2.5.1-2build2_amd64.deb                   15-May-2018 06:14      5M
agda-bin_2.5.1-2build2_i386.deb                    13-Jun-2018 05:56      5M
agda-bin_2.5.1.1-3build3_amd64.deb                 27-Jan-2017 08:03      5M
agda-bin_2.5.1.1-3build3_i386.deb                  27-Jan-2017 07:29      5M
agda-bin_2.5.2-2build1_amd64.deb                   15-Jul-2017 12:08      5M
agda-bin_2.5.2-2build1_i386.deb                    15-Jul-2017 12:08      5M
agda-bin_2.5.3-3build1_amd64.deb                   25-Nov-2017 20:09      5M
agda-bin_2.5.3-3build1_i386.deb                    25-Nov-2017 20:09      5M
agda-bin_2.5.3-5build3_amd64.deb                   05-Jul-2018 08:58      5M
agda-bin_2.5.3-5build3_i386.deb                    05-Jul-2018 08:48      6M
agda-bin_2.5.4.1-3_amd64.deb                       14-Dec-2018 10:58      5M
agda-bin_2.5.4.1-3_i386.deb                        14-Dec-2018 10:38      6M
agda-bin_2.6.0.1-1build2_amd64.deb                 03-Sep-2019 06:23      6M
agda-bin_2.6.0.1-1build2_i386.deb                  03-Sep-2019 06:23      6M
agda-bin_2.6.0.1-1build4_amd64.deb                 08-Feb-2020 13:19      6M
agda-bin_2.6.1-1build1_amd64.deb                   27-Aug-2020 00:48      8M
agda-bin_2.6.1-1build2.1_amd64.deb                 16-Sep-2021 08:28      9M
agda-bin_2.6.1-1build2_amd64.deb                   05-Nov-2020 02:43      8M
agda-bin_2.6.2.2-1.1build1_amd64.deb               12-Dec-2022 10:59      8M
agda-bin_2.6.2.2-1_amd64.deb                       26-Aug-2022 16:14      8M
agda-bin_2.6.3-1build1_amd64.deb                   10-Nov-2023 20:19     10M
agda-bin_2.6.3-2_amd64.deb                         07-Sep-2024 06:18     10M
agda-bin_2.6.4.3-1_amd64.deb                       25-Oct-2024 21:15     10M
agda-mode_2.2.10-1~ubuntu1_all.deb                 24-Feb-2011 19:05     39K
agda-mode_2.2.10-3build1_all.deb                   09-Jul-2011 22:06     39K
agda-mode_2.2.4+dfsg-1_all.deb                     24-Aug-2009 13:05     36K
agda-mode_2.2.6-3_all.deb                          04-Mar-2010 15:05     38K
agda-mode_2.2.6-7build1_all.deb                    26-May-2010 09:04     39K
agda-mode_2.3.0.1-1build2_all.deb                  21-Apr-2012 17:03     40K
agda-mode_2.3.0.1-2build1_all.deb                  27-Aug-2012 12:33     44K
agda-mode_2.3.2-1_all.deb                          10-Apr-2013 18:03     44K
agda-mode_2.3.2.1-1_all.deb                        17-Jun-2013 00:03     44K
agda-mode_2.3.2.2-1_all.deb                        06-Nov-2013 17:28     47K
agda-mode_2.4.0.2-2_all.deb                        11-Aug-2014 16:53     39K
agda-mode_2.4.0.2-2build1_all.deb                  29-Oct-2014 18:00     39K
agda-mode_2.4.2.2-4build1_all.deb                  16-Aug-2015 09:23     35K
agda-mode_2.4.2.5-1build1_all.deb                  12-Jan-2016 22:59     36K
agda-mode_2.5.1-2build2_all.deb                    15-May-2018 06:14    4322
agda-mode_2.5.1.1-3build3_all.deb                  27-Jan-2017 08:03    4144
agda-mode_2.5.2-2build1_all.deb                    15-Jul-2017 12:08    4110
agda-mode_2.5.3-3build1_all.deb                    25-Nov-2017 20:09    3584
agda-mode_2.5.3-5build3_all.deb                    05-Jul-2018 08:58    3572
agda-mode_2.5.4.1-3_all.deb                        14-Dec-2018 10:58    3700
agda-mode_2.6.0.1-1build2_all.deb                  03-Sep-2019 06:23    3664
agda-mode_2.6.0.1-1build4_all.deb                  08-Feb-2020 13:19    3644
agda_2.2.10-3build1_all.deb                        09-Jul-2011 22:06    2986
agda_2.3.0.1-1build2_all.deb                       21-Apr-2012 17:03    2984
agda_2.3.0.1-2build1_all.deb                       27-Aug-2012 12:33    3012
agda_2.3.2-1_all.deb                               10-Apr-2013 18:03    2974
agda_2.3.2.1-1_all.deb                             17-Jun-2013 00:03    2982
agda_2.3.2.2-1_all.deb                             06-Nov-2013 17:28    2996
agda_2.4.0.2-2_all.deb                             11-Aug-2014 16:53    3034
agda_2.4.0.2-2build1_all.deb                       29-Oct-2014 18:00    3040
agda_2.4.2.2-4build1_all.deb                       16-Aug-2015 09:23    2968
agda_2.4.2.5-1build1_all.deb                       12-Jan-2016 22:59    2966
agda_2.5.1-2build2_all.deb                         15-May-2018 06:14    2958
agda_2.5.1.1-3build3_all.deb                       27-Jan-2017 08:03    2958
agda_2.5.2-2build1_all.deb                         15-Jul-2017 12:08    2962
agda_2.5.3-3build1_all.deb                         25-Nov-2017 20:09    3052
agda_2.5.3-5build3_all.deb                         05-Jul-2018 08:58    3052
agda_2.5.4.1-3_all.deb                             14-Dec-2018 10:58    4116
agda_2.6.0.1-1build2_all.deb                       03-Sep-2019 06:23    4080
agda_2.6.0.1-1build4_all.deb                       08-Feb-2020 13:19    4056
agda_2.6.1-1build1_all.deb                         27-Aug-2020 00:48    4168
agda_2.6.1-1build2.1_all.deb                       16-Sep-2021 08:28    4134
agda_2.6.1-1build2_all.deb                         05-Nov-2020 02:43    4184
agda_2.6.2.2-1.1build1_all.deb                     12-Dec-2022 10:59    3716
agda_2.6.2.2-1_all.deb                             26-Aug-2022 16:14    4134
agda_2.6.3-1build1_all.deb                         10-Nov-2023 20:19    3758
agda_2.6.3-2_all.deb                               07-Sep-2024 06:18    3724
agda_2.6.4.3-1_all.deb                             25-Oct-2024 21:15    3736
elpa-agda2-mode_2.5.1-2build2_all.deb              15-May-2018 06:22     39K
elpa-agda2-mode_2.5.1.1-3build3_all.deb            27-Jan-2017 08:03     39K
elpa-agda2-mode_2.5.2-2build1_all.deb              15-Jul-2017 12:08     40K
elpa-agda2-mode_2.5.3-3build1_all.deb              25-Nov-2017 20:09     40K
elpa-agda2-mode_2.5.3-5build3_all.deb              05-Jul-2018 08:58     40K
elpa-agda2-mode_2.5.4.1-3_all.deb                  14-Dec-2018 10:58     40K
elpa-agda2-mode_2.6.0.1-1build2_all.deb            03-Sep-2019 06:23     41K
elpa-agda2-mode_2.6.0.1-1build4_all.deb            08-Feb-2020 13:19     40K
elpa-agda2-mode_2.6.1-1build1_all.deb              27-Aug-2020 00:48     41K
elpa-agda2-mode_2.6.1-1build2.1_all.deb            16-Sep-2021 08:28     45K
elpa-agda2-mode_2.6.1-1build2_all.deb              05-Nov-2020 02:43     41K
elpa-agda2-mode_2.6.2.2-1.1build1_all.deb          12-Dec-2022 10:59     44K
elpa-agda2-mode_2.6.2.2-1_all.deb                  26-Aug-2022 16:14     45K
elpa-agda2-mode_2.6.3-1build1_all.deb              10-Nov-2023 20:19     45K
elpa-agda2-mode_2.6.3-2_all.deb                    07-Sep-2024 06:18     45K
elpa-agda2-mode_2.6.4.3-1_all.deb                  25-Oct-2024 21:15     45K
haskell-agda-doc_2.2.4+dfsg-1_all.deb              24-Aug-2009 13:05    948K
haskell-agda-doc_2.2.6-3_all.deb                   04-Mar-2010 15:05      1M
libghc-agda-dev_2.2.10-3build1_amd64.deb           09-Jul-2011 22:06     10M
libghc-agda-dev_2.2.10-3build1_i386.deb            09-Jul-2011 22:06     10M
libghc-agda-dev_2.3.0.1-1build2_amd64.deb          21-Apr-2012 17:03     12M
libghc-agda-dev_2.3.0.1-1build2_i386.deb           21-Apr-2012 17:03     12M
libghc-agda-dev_2.3.0.1-2build1_amd64.deb          27-Aug-2012 13:03     13M
libghc-agda-dev_2.3.0.1-2build1_i386.deb           27-Aug-2012 12:33     12M
libghc-agda-dev_2.3.2-1_amd64.deb                  10-Apr-2013 18:03     13M
libghc-agda-dev_2.3.2-1_i386.deb                   10-Apr-2013 18:03     12M
libghc-agda-dev_2.3.2.1-1_amd64.deb                17-Jun-2013 00:03     13M
libghc-agda-dev_2.3.2.1-1_i386.deb                 17-Jun-2013 00:03     12M
libghc-agda-dev_2.3.2.2-1_amd64.deb                06-Nov-2013 17:28     13M
libghc-agda-dev_2.3.2.2-1_i386.deb                 06-Nov-2013 17:28     12M
libghc-agda-dev_2.4.0.2-2_amd64.deb                11-Aug-2014 16:53      9M
libghc-agda-dev_2.4.0.2-2_i386.deb                 11-Aug-2014 16:53      9M
libghc-agda-dev_2.4.0.2-2build1_amd64.deb          29-Oct-2014 18:00      9M
libghc-agda-dev_2.4.0.2-2build1_i386.deb           29-Oct-2014 18:01      9M
libghc-agda-dev_2.4.2.2-4build1_amd64.deb          16-Aug-2015 09:23     10M
libghc-agda-dev_2.4.2.2-4build1_i386.deb           16-Aug-2015 09:08     10M
libghc-agda-dev_2.4.2.5-1build1_amd64.deb          12-Jan-2016 22:59     10M
libghc-agda-dev_2.4.2.5-1build1_i386.deb           12-Jan-2016 22:45     10M
libghc-agda-dev_2.5.1-2build2_amd64.deb            15-May-2018 06:53     12M
libghc-agda-dev_2.5.1-2build2_i386.deb             13-Jun-2018 06:13     11M
libghc-agda-dev_2.5.1.1-3build3_amd64.deb          27-Jan-2017 08:03     12M
libghc-agda-dev_2.5.1.1-3build3_i386.deb           27-Jan-2017 07:29     12M
libghc-agda-dev_2.5.2-2build1_amd64.deb            15-Jul-2017 12:08     13M
libghc-agda-dev_2.5.2-2build1_i386.deb             15-Jul-2017 12:08     13M
libghc-agda-dev_2.5.3-3build1_amd64.deb            25-Nov-2017 20:09     15M
libghc-agda-dev_2.5.3-3build1_i386.deb             25-Nov-2017 20:09     15M
libghc-agda-dev_2.5.3-5build3_amd64.deb            05-Jul-2018 08:58     15M
libghc-agda-dev_2.5.3-5build3_i386.deb             05-Jul-2018 08:48     15M
libghc-agda-dev_2.5.4.1-3_amd64.deb                14-Dec-2018 10:58     16M
libghc-agda-dev_2.5.4.1-3_i386.deb                 14-Dec-2018 10:38     16M
libghc-agda-dev_2.6.0.1-1build2_amd64.deb          03-Sep-2019 06:23     19M
libghc-agda-dev_2.6.0.1-1build2_i386.deb           03-Sep-2019 06:23     18M
libghc-agda-dev_2.6.0.1-1build4_amd64.deb          08-Feb-2020 13:19     19M
libghc-agda-dev_2.6.1-1build1_amd64.deb            27-Aug-2020 00:48     36M
libghc-agda-dev_2.6.1-1build2.1_amd64.deb          16-Sep-2021 08:28     38M
libghc-agda-dev_2.6.1-1build2_amd64.deb            05-Nov-2020 02:43     36M
libghc-agda-dev_2.6.2.2-1.1build1_amd64.deb        12-Dec-2022 10:59     25M
libghc-agda-dev_2.6.2.2-1_amd64.deb                26-Aug-2022 16:14     25M
libghc-agda-dev_2.6.3-1build1_amd64.deb            10-Nov-2023 20:19     24M
libghc-agda-dev_2.6.3-2_amd64.deb                  07-Sep-2024 06:18     24M
libghc-agda-dev_2.6.4.3-1_amd64.deb                25-Oct-2024 21:15     23M
libghc-agda-doc_2.2.10-3build1_all.deb             09-Jul-2011 22:06      1M
libghc-agda-doc_2.3.0.1-1build2_all.deb            21-Apr-2012 17:03      2M
libghc-agda-doc_2.3.0.1-2build1_all.deb            27-Aug-2012 12:33      2M
libghc-agda-doc_2.3.2-1_all.deb                    10-Apr-2013 18:03      2M
libghc-agda-doc_2.3.2.1-1_all.deb                  17-Jun-2013 00:03      2M
libghc-agda-doc_2.3.2.2-1_all.deb                  06-Nov-2013 17:28      2M
libghc-agda-doc_2.4.0.2-2_all.deb                  11-Aug-2014 16:53      2M
libghc-agda-doc_2.4.0.2-2build1_all.deb            29-Oct-2014 18:00      2M
libghc-agda-doc_2.4.2.2-4build1_all.deb            16-Aug-2015 09:23      2M
libghc-agda-doc_2.4.2.5-1build1_all.deb            12-Jan-2016 22:59      2M
libghc-agda-doc_2.5.1-2build2_all.deb              15-May-2018 06:53      2M
libghc-agda-doc_2.5.1.1-3build3_all.deb            27-Jan-2017 08:03      2M
libghc-agda-doc_2.5.2-2build1_all.deb              15-Jul-2017 12:08      3M
libghc-agda-doc_2.5.3-3build1_all.deb              25-Nov-2017 20:09      3M
libghc-agda-doc_2.5.3-5build3_all.deb              05-Jul-2018 08:58      3M
libghc-agda-doc_2.5.4.1-3_all.deb                  14-Dec-2018 10:58      3M
libghc-agda-doc_2.6.0.1-1build2_all.deb            03-Sep-2019 06:23      4M
libghc-agda-doc_2.6.0.1-1build4_all.deb            08-Feb-2020 13:19      4M
libghc-agda-doc_2.6.1-1build1_all.deb              27-Aug-2020 00:48      6M
libghc-agda-doc_2.6.1-1build2.1_all.deb            16-Sep-2021 08:28      5M
libghc-agda-doc_2.6.1-1build2_all.deb              05-Nov-2020 02:43      6M
libghc-agda-doc_2.6.2.2-1.1build1_all.deb          12-Dec-2022 10:59      6M
libghc-agda-doc_2.6.2.2-1_all.deb                  26-Aug-2022 16:14      6M
libghc-agda-doc_2.6.3-1build1_all.deb              10-Nov-2023 20:19      6M
libghc-agda-doc_2.6.3-2_all.deb                    07-Sep-2024 06:18      6M
libghc-agda-doc_2.6.4.3-1_all.deb                  25-Oct-2024 21:15      6M
libghc6-agda-dev_2.2.10-1~ubuntu1_amd64.deb        24-Feb-2011 22:05     11M
libghc6-agda-dev_2.2.10-1~ubuntu1_i386.deb         24-Feb-2011 19:06     10M
libghc6-agda-dev_2.2.4+dfsg-1_amd64.deb            24-Aug-2009 13:05      8M
libghc6-agda-dev_2.2.4+dfsg-1_i386.deb             24-Aug-2009 13:05      8M
libghc6-agda-dev_2.2.6-3_amd64.deb                 04-Mar-2010 15:05     10M
libghc6-agda-dev_2.2.6-3_i386.deb                  04-Mar-2010 15:06      9M
libghc6-agda-dev_2.2.6-7build1_amd64.deb           26-May-2010 12:05     10M
libghc6-agda-dev_2.2.6-7build1_i386.deb            26-May-2010 09:05      9M
libghc6-agda-doc_2.2.10-1~ubuntu1_all.deb          24-Feb-2011 19:05      1M
libghc6-agda-doc_2.2.6-7build1_all.deb             26-May-2010 09:04      1M
libghc6-agda-prof_2.2.4+dfsg-1_amd64.deb           24-Aug-2009 13:05     13M
libghc6-agda-prof_2.2.4+dfsg-1_i386.deb            24-Aug-2009 13:05     12M
libghc6-agda-prof_2.2.6-3_amd64.deb                04-Mar-2010 15:05     14M
libghc6-agda-prof_2.2.6-3_i386.deb                 04-Mar-2010 15:06     13M