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

 Name                                        Last modified      Size  Description
 Parent Directory                                                 -   
 agda-bin_2.3.2.2-1_powerpc.deb              2013-11-06 18:29  5.1M  
 agda-bin_2.4.2.5-1build1_arm64.deb          2016-01-13 01:25  7.6M  
 agda-bin_2.4.2.5-1build1_armhf.deb          2017-06-21 20:09  6.0M  
 agda-bin_2.4.2.5-1build1_powerpc.deb        2016-01-12 23:59  4.1M  
 agda-bin_2.4.2.5-1build1_ppc64el.deb        2016-01-13 00:15  6.4M  
 agda-bin_2.4.2.5-1build1_s390x.deb          2016-01-12 23:59   11M  
 agda-bin_2.5.3-3build1_arm64.deb            2017-11-25 23:59  8.7M  
 agda-bin_2.5.3-3build1_armhf.deb            2017-11-25 23:59  7.0M  
 agda-bin_2.5.3-3build1_ppc64el.deb          2017-11-25 21:10  6.4M  
 agda-bin_2.5.3-3build1_s390x.deb            2017-11-25 21:10   13M  
 agda-bin_2.6.0.1-1build4_arm64.deb          2020-02-08 15:53  7.4M  
 agda-bin_2.6.0.1-1build4_ppc64el.deb        2020-02-08 13:35  8.7M  
 agda-bin_2.6.0.1-1build4_riscv64.deb        2020-04-10 19:03   17M  
 agda-bin_2.6.0.1-1build4_s390x.deb          2020-02-08 14:07   15M  
 agda-bin_2.6.1-1build2.1_ppc64el.deb        2021-09-16 10:43   14M  
 agda-bin_2.6.1-1build2.1_riscv64.deb        2021-09-17 23:33   15M  
 agda-bin_2.6.1-1build2.1_s390x.deb          2021-09-16 10:58   28M  
 agda-bin_2.6.3-1build1_arm64.deb            2023-11-11 01:55   11M  
 agda-bin_2.6.3-1build1_ppc64el.deb          2023-11-10 22:14   13M  
 agda-bin_2.6.3-1build1_riscv64.deb          2023-11-11 18:09   12M  
 agda-bin_2.6.3-1build1_s390x.deb            2023-11-10 22:14   17M  
 agda-bin_2.6.3-2_arm64.deb                  2024-09-07 09:09   11M  
 agda-bin_2.6.3-2_ppc64el.deb                2024-09-07 09:09   12M  
 agda-bin_2.6.3-2_riscv64.deb                2024-09-07 17:44   12M  
 agda-bin_2.6.3-2_s390x.deb                  2024-09-07 09:09   17M  
 agda-bin_2.6.4.3-1_arm64.deb                2024-10-25 23:15   11M  
 agda-bin_2.6.4.3-1_ppc64el.deb              2024-10-25 23:15   10M  
 agda-bin_2.6.4.3-1_riscv64.deb              2024-10-26 10:11   14M  
 agda-bin_2.6.4.3-1_s390x.deb                2024-10-26 00:46   22M  
 agda-mode_2.3.2.2-1_all.deb                 2013-11-06 18:28   47K  
 agda-mode_2.4.2.5-1build1_all.deb           2016-01-12 23:59   36K  
 agda-mode_2.5.3-3build1_all.deb             2017-11-25 21:09  3.5K  
 agda-mode_2.6.0.1-1build4_all.deb           2020-02-08 14:19  3.6K  
 agda_2.3.2.2-1_all.deb                      2013-11-06 18:28  2.9K  
 agda_2.4.2.5-1build1_all.deb                2016-01-12 23:59  2.9K  
 agda_2.5.3-3build1_all.deb                  2017-11-25 21:09  3.0K  
 agda_2.6.0.1-1build4_all.deb                2020-02-08 14:19  4.0K  
 agda_2.6.1-1build2.1_all.deb                2021-09-16 10:28  4.0K  
 agda_2.6.3-1build1_all.deb                  2023-11-10 21:19  3.7K  
 agda_2.6.3-2_all.deb                        2024-09-07 08:18  3.6K  
 agda_2.6.4.3-1_all.deb                      2024-10-25 23:15  3.6K  
 elpa-agda2-mode_2.5.3-3build1_all.deb       2017-11-25 21:09   40K  
 elpa-agda2-mode_2.6.0.1-1build4_all.deb     2020-02-08 14:19   40K  
 elpa-agda2-mode_2.6.1-1build2.1_all.deb     2021-09-16 10:28   45K  
 elpa-agda2-mode_2.6.3-1build1_all.deb       2023-11-10 21:19   45K  
 elpa-agda2-mode_2.6.3-2_all.deb             2024-09-07 08:18   45K  
 elpa-agda2-mode_2.6.4.3-1_all.deb           2024-10-25 23:15   45K  
 libghc-agda-dev_2.3.2.2-1_powerpc.deb       2013-11-06 18:29   15M  
 libghc-agda-dev_2.4.2.5-1build1_arm64.deb   2016-01-13 01:25   16M  
 libghc-agda-dev_2.4.2.5-1build1_armhf.deb   2017-06-21 20:09   13M  
 libghc-agda-dev_2.4.2.5-1build1_powerpc.deb 2016-01-12 23:59   10M  
 libghc-agda-dev_2.4.2.5-1build1_ppc64el.deb 2016-01-13 00:15   16M  
 libghc-agda-dev_2.4.2.5-1build1_s390x.deb   2016-01-12 23:59   16M  
 libghc-agda-dev_2.5.3-3build1_arm64.deb     2017-11-25 23:59   23M  
 libghc-agda-dev_2.5.3-3build1_armhf.deb     2017-11-25 23:59   19M  
 libghc-agda-dev_2.5.3-3build1_ppc64el.deb   2017-11-25 21:10   20M  
 libghc-agda-dev_2.5.3-3build1_s390x.deb     2017-11-25 21:10   24M  
 libghc-agda-dev_2.6.0.1-1build4_arm64.deb   2020-02-08 15:53   22M  
 libghc-agda-dev_2.6.0.1-1build4_ppc64el.deb 2020-02-08 13:35   27M  
 libghc-agda-dev_2.6.0.1-1build4_riscv64.deb 2020-04-10 19:03   42M  
 libghc-agda-dev_2.6.0.1-1build4_s390x.deb   2020-02-08 14:07   29M  
 libghc-agda-dev_2.6.1-1build2.1_ppc64el.deb 2021-09-16 10:43   63M  
 libghc-agda-dev_2.6.1-1build2.1_riscv64.deb 2021-09-17 23:33   90M  
 libghc-agda-dev_2.6.1-1build2.1_s390x.deb   2021-09-16 10:58   66M  
 libghc-agda-dev_2.6.3-1build1_arm64.deb     2023-11-11 01:55   28M  
 libghc-agda-dev_2.6.3-1build1_ppc64el.deb   2023-11-10 22:14   39M  
 libghc-agda-dev_2.6.3-1build1_riscv64.deb   2023-11-11 18:09   45M  
 libghc-agda-dev_2.6.3-1build1_s390x.deb     2023-11-10 22:14   38M  
 libghc-agda-dev_2.6.3-2_arm64.deb           2024-09-07 09:09   27M  
 libghc-agda-dev_2.6.3-2_ppc64el.deb         2024-09-07 09:09   38M  
 libghc-agda-dev_2.6.3-2_riscv64.deb         2024-09-07 17:44   45M  
 libghc-agda-dev_2.6.3-2_s390x.deb           2024-09-07 09:09   37M  
 libghc-agda-dev_2.6.4.3-1_arm64.deb         2024-10-25 23:15   26M  
 libghc-agda-dev_2.6.4.3-1_ppc64el.deb       2024-10-25 23:15   33M  
 libghc-agda-dev_2.6.4.3-1_riscv64.deb       2024-10-26 10:11   48M  
 libghc-agda-dev_2.6.4.3-1_s390x.deb         2024-10-26 00:46   44M  
 libghc-agda-doc_2.3.2.2-1_all.deb           2013-11-06 18:28  2.1M  
 libghc-agda-doc_2.4.2.5-1build1_all.deb     2016-01-12 23:59  2.1M  
 libghc-agda-doc_2.5.3-3build1_all.deb       2017-11-25 21:09  2.6M  
 libghc-agda-doc_2.6.0.1-1build4_all.deb     2020-02-08 14:19  4.0M  
 libghc-agda-doc_2.6.1-1build2.1_all.deb     2021-09-16 10:28  5.2M  
 libghc-agda-doc_2.6.3-1build1_all.deb       2023-11-10 21:19  6.0M  
 libghc-agda-doc_2.6.3-2_all.deb             2024-09-07 08:18  5.9M  
 libghc-agda-doc_2.6.4.3-1_all.deb           2024-10-25 23:15  6.4M