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

../
agda-bin_2.5.3-3build1_amd64.deb                   25-Nov-2017 13:09      5M
agda-bin_2.5.3-3build1_i386.deb                    18-Nov-2020 00:38      5M
agda-bin_2.6.0.1-1build4_amd64.deb                 18-Nov-2020 00:38      6M
agda-bin_2.6.1-1build2.1_amd64.deb                 29-Aug-2022 16:10      9M
agda-bin_2.6.3-1build1_amd64.deb                   06-May-2024 18:31     10M
agda-mode_2.5.3-3build1_all.deb                    25-Nov-2017 13:09    3584
agda-mode_2.6.0.1-1build4_all.deb                  18-Nov-2020 00:38    3644
agda_2.5.3-3build1.debian.tar.xz                   08-Sep-2021 01:12    9800
agda_2.5.3-3build1.dsc                             08-Sep-2021 01:12    4572
agda_2.5.3-3build1_all.deb                         25-Nov-2017 13:09    3052
agda_2.5.3.orig.tar.gz                             08-Sep-2021 01:12      1M
agda_2.6.0.1-1build4.debian.tar.xz                 08-Sep-2021 01:12     10K
agda_2.6.0.1-1build4.dsc                           08-Sep-2021 01:12    4293
agda_2.6.0.1-1build4_all.deb                       18-Nov-2020 00:38    4056
agda_2.6.0.1.orig.tar.gz                           08-Sep-2021 01:12      2M
agda_2.6.1-1build2.1.debian.tar.xz                 29-Aug-2022 16:10     10K
agda_2.6.1-1build2.1.dsc                           29-Aug-2022 16:10    4293
agda_2.6.1-1build2.1_all.deb                       29-Aug-2022 16:10    4134
agda_2.6.1.orig.tar.gz                             06-Nov-2024 18:17      3M
agda_2.6.3-1build1.debian.tar.xz                   06-May-2024 18:31     11K
agda_2.6.3-1build1.dsc                             06-May-2024 18:31    4939
agda_2.6.3-1build1_all.deb                         06-May-2024 18:31    3758
agda_2.6.3.orig.tar.gz                             06-May-2024 18:31      2M
elpa-agda2-mode_2.5.3-3build1_all.deb              25-Nov-2017 13:09     40K
elpa-agda2-mode_2.6.0.1-1build4_all.deb            18-Nov-2020 00:38     40K
elpa-agda2-mode_2.6.1-1build2.1_all.deb            29-Aug-2022 16:10     45K
elpa-agda2-mode_2.6.3-1build1_all.deb              06-May-2024 18:31     45K
libghc-agda-dev_2.5.3-3build1_amd64.deb            25-Nov-2017 13:09     15M
libghc-agda-dev_2.5.3-3build1_i386.deb             18-Nov-2020 00:38     15M
libghc-agda-dev_2.6.0.1-1build4_amd64.deb          18-Nov-2020 00:38     19M
libghc-agda-dev_2.6.1-1build2.1_amd64.deb          29-Aug-2022 16:10     38M
libghc-agda-dev_2.6.3-1build1_amd64.deb            06-May-2024 18:32     24M
libghc-agda-doc_2.5.3-3build1_all.deb              25-Nov-2017 13:09      3M
libghc-agda-doc_2.6.0.1-1build4_all.deb            18-Nov-2020 00:38      4M
libghc-agda-doc_2.6.1-1build2.1_all.deb            29-Aug-2022 16:10      5M
libghc-agda-doc_2.6.3-1build1_all.deb              06-May-2024 18:32      6M