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


../
agda-bin_2.6.0.1-1build4_amd64.deb                 08-Feb-2020 18:19      6M
agda-bin_2.6.1-1build2.1_amd64.deb                 16-Sep-2021 13:28      9M
agda-bin_2.6.3-1build1_amd64.deb                   11-Nov-2023 01:19     10M
agda-bin_2.6.3-2_amd64.deb                         07-Sep-2024 11:18     10M
agda-bin_2.6.4.3-1_amd64.deb                       26-Oct-2024 02:15     10M
agda-mode_2.6.0.1-1build4_all.deb                  08-Feb-2020 18:19    3644
agda_2.6.0.1-1build4.debian.tar.xz                 08-Feb-2020 16:38     10K
agda_2.6.0.1-1build4.dsc                           08-Feb-2020 16:38    4293
agda_2.6.0.1-1build4_all.deb                       08-Feb-2020 18:19    4056
agda_2.6.0.1.orig.tar.gz                           01-Sep-2019 17:43      2M
agda_2.6.1-1build2.1.debian.tar.xz                 16-Sep-2021 12:39     10K
agda_2.6.1-1build2.1.dsc                           16-Sep-2021 12:39    4293
agda_2.6.1-1build2.1_all.deb                       16-Sep-2021 13:28    4134
agda_2.6.1.orig.tar.gz                             30-Jul-2020 04:19      3M
agda_2.6.3-1build1.debian.tar.xz                   08-Nov-2023 14:36     11K
agda_2.6.3-1build1.dsc                             08-Nov-2023 14:36    4939
agda_2.6.3-1build1_all.deb                         11-Nov-2023 01:19    3758
agda_2.6.3-2.debian.tar.xz                         07-Sep-2024 11:18     11K
agda_2.6.3-2.dsc                                   07-Sep-2024 11:18    4945
agda_2.6.3-2_all.deb                               07-Sep-2024 11:18    3724
agda_2.6.3.orig.tar.gz                             26-Oct-2023 20:43      2M
agda_2.6.4.3-1.debian.tar.xz                       26-Oct-2024 00:11     10K
agda_2.6.4.3-1.dsc                                 26-Oct-2024 00:11    5197
agda_2.6.4.3-1_all.deb                             26-Oct-2024 02:15    3736
agda_2.6.4.3.orig.tar.gz                           26-Oct-2024 00:11      2M
elpa-agda2-mode_2.6.0.1-1build4_all.deb            08-Feb-2020 18:19     40K
elpa-agda2-mode_2.6.1-1build2.1_all.deb            16-Sep-2021 13:28     45K
elpa-agda2-mode_2.6.3-1build1_all.deb              11-Nov-2023 01:19     45K
elpa-agda2-mode_2.6.3-2_all.deb                    07-Sep-2024 11:18     45K
elpa-agda2-mode_2.6.4.3-1_all.deb                  26-Oct-2024 02:15     45K
libghc-agda-dev_2.6.0.1-1build4_amd64.deb          08-Feb-2020 18:19     19M
libghc-agda-dev_2.6.1-1build2.1_amd64.deb          16-Sep-2021 13:28     38M
libghc-agda-dev_2.6.3-1build1_amd64.deb            11-Nov-2023 01:19     24M
libghc-agda-dev_2.6.3-2_amd64.deb                  07-Sep-2024 11:18     24M
libghc-agda-dev_2.6.4.3-1_amd64.deb                26-Oct-2024 02:15     23M
libghc-agda-doc_2.6.0.1-1build4_all.deb            08-Feb-2020 18:19      4M
libghc-agda-doc_2.6.1-1build2.1_all.deb            16-Sep-2021 13:28      5M
libghc-agda-doc_2.6.3-1build1_all.deb              11-Nov-2023 01:19      6M
libghc-agda-doc_2.6.3-2_all.deb                    07-Sep-2024 11:18      6M
libghc-agda-doc_2.6.4.3-1_all.deb                  26-Oct-2024 02:15      6M