Index of /pub/linux/ubuntu-ports/pool/universe/a/agda
Name Last modified Size Description
![[PARENTDIR]](/icons/back.gif)
Parent Directory -
![[ ]](/icons/compressed.gif)
agda_2.3.2.2-1.debian.tar.gz 2013-11-07 02:28 7.2K
agda_2.3.2.2.orig.tar.gz 2013-11-07 02:28 1.9M
![[TXT]](/icons/text.gif)
agda_2.3.2.2-1.dsc 2013-11-07 02:28 3.2K
![[ ]](/icons/unknown.gif)
agda-mode_2.3.2.2-1_all.deb 2013-11-07 02:28 47K
libghc-agda-doc_2.3.2.2-1_all.deb 2013-11-07 02:28 2.1M
agda_2.3.2.2-1_all.deb 2013-11-07 02:28 2.9K
libghc-agda-dev_2.3.2.2-1_powerpc.deb 2013-11-07 02:29 15M
agda-bin_2.3.2.2-1_powerpc.deb 2013-11-07 02:29 5.1M
agda_2.4.2.5.orig.tar.gz 2016-01-05 08:25 1.0M
agda_2.4.2.5-1build1.dsc 2016-01-13 07:30 3.7K
agda_2.4.2.5-1build1.debian.tar.xz 2016-01-13 07:30 7.7K
agda-mode_2.4.2.5-1build1_all.deb 2016-01-13 07:59 36K
libghc-agda-doc_2.4.2.5-1build1_all.deb 2016-01-13 07:59 2.1M
agda_2.4.2.5-1build1_all.deb 2016-01-13 07:59 2.9K
libghc-agda-dev_2.4.2.5-1build1_powerpc.deb 2016-01-13 07:59 10M
agda-bin_2.4.2.5-1build1_powerpc.deb 2016-01-13 07:59 4.1M
agda-bin_2.4.2.5-1build1_s390x.deb 2016-01-13 07:59 11M
libghc-agda-dev_2.4.2.5-1build1_s390x.deb 2016-01-13 07:59 16M
libghc-agda-dev_2.4.2.5-1build1_ppc64el.deb 2016-01-13 08:15 16M
agda-bin_2.4.2.5-1build1_ppc64el.deb 2016-01-13 08:15 6.4M
libghc-agda-dev_2.4.2.5-1build1_arm64.deb 2016-01-13 09:25 16M
agda-bin_2.4.2.5-1build1_arm64.deb 2016-01-13 09:25 7.6M
libghc-agda-dev_2.4.2.5-1build1_armhf.deb 2017-06-22 03:09 13M
agda-bin_2.4.2.5-1build1_armhf.deb 2017-06-22 03:09 6.0M
agda_2.5.3.orig.tar.gz 2017-11-01 22:05 1.1M
agda_2.5.3-3build1.debian.tar.xz 2017-11-26 04:15 9.6K
agda_2.5.3-3build1.dsc 2017-11-26 04:15 4.5K
libghc-agda-doc_2.5.3-3build1_all.deb 2017-11-26 05:09 2.6M
agda-mode_2.5.3-3build1_all.deb 2017-11-26 05:09 3.5K
elpa-agda2-mode_2.5.3-3build1_all.deb 2017-11-26 05:09 40K
agda_2.5.3-3build1_all.deb 2017-11-26 05:09 3.0K
agda-bin_2.5.3-3build1_ppc64el.deb 2017-11-26 05:10 6.4M
libghc-agda-dev_2.5.3-3build1_ppc64el.deb 2017-11-26 05:10 20M
libghc-agda-dev_2.5.3-3build1_s390x.deb 2017-11-26 05:10 24M
agda-bin_2.5.3-3build1_s390x.deb 2017-11-26 05:10 13M
agda-bin_2.5.3-3build1_arm64.deb 2017-11-26 07:59 8.7M
libghc-agda-dev_2.5.3-3build1_arm64.deb 2017-11-26 07:59 23M
libghc-agda-dev_2.5.3-3build1_armhf.deb 2017-11-26 07:59 19M
agda-bin_2.5.3-3build1_armhf.deb 2017-11-26 07:59 7.0M
agda_2.6.0.1.orig.tar.gz 2019-09-01 21:43 2.3M
agda_2.6.0.1-1build4.debian.tar.xz 2020-02-08 20:38 10K
agda_2.6.0.1-1build4.dsc 2020-02-08 20:38 4.2K
libghc-agda-dev_2.6.0.1-1build4_ppc64el.deb 2020-02-08 21:35 27M
agda-bin_2.6.0.1-1build4_ppc64el.deb 2020-02-08 21:35 8.7M
agda-bin_2.6.0.1-1build4_s390x.deb 2020-02-08 22:07 15M
libghc-agda-dev_2.6.0.1-1build4_s390x.deb 2020-02-08 22:07 29M
libghc-agda-doc_2.6.0.1-1build4_all.deb 2020-02-08 22:19 4.0M
agda_2.6.0.1-1build4_all.deb 2020-02-08 22:19 4.0K
elpa-agda2-mode_2.6.0.1-1build4_all.deb 2020-02-08 22:19 40K
agda-mode_2.6.0.1-1build4_all.deb 2020-02-08 22:19 3.6K
libghc-agda-dev_2.6.0.1-1build4_arm64.deb 2020-02-08 23:53 22M
agda-bin_2.6.0.1-1build4_arm64.deb 2020-02-08 23:53 7.4M
libghc-agda-dev_2.6.0.1-1build4_riscv64.deb 2020-04-11 02:03 42M
agda-bin_2.6.0.1-1build4_riscv64.deb 2020-04-11 02:03 17M
agda_2.6.1.orig.tar.gz 2020-07-30 08:19 2.5M
agda_2.6.1-1build2.1.debian.tar.xz 2021-09-16 16:39 10K
agda_2.6.1-1build2.1.dsc 2021-09-16 16:39 4.2K
agda_2.6.1-1build2.1_all.deb 2021-09-16 17:28 4.0K
elpa-agda2-mode_2.6.1-1build2.1_all.deb 2021-09-16 17:28 45K
libghc-agda-doc_2.6.1-1build2.1_all.deb 2021-09-16 17:28 5.2M
agda-bin_2.6.1-1build2.1_ppc64el.deb 2021-09-16 17:43 14M
libghc-agda-dev_2.6.1-1build2.1_ppc64el.deb 2021-09-16 17:43 63M
agda-bin_2.6.1-1build2.1_s390x.deb 2021-09-16 17:58 28M
libghc-agda-dev_2.6.1-1build2.1_s390x.deb 2021-09-16 17:58 66M
agda-bin_2.6.1-1build2.1_riscv64.deb 2021-09-18 06:33 15M
libghc-agda-dev_2.6.1-1build2.1_riscv64.deb 2021-09-18 06:33 90M
agda_2.6.3.orig.tar.gz 2023-10-27 00:43 1.7M
agda_2.6.3-1build1.debian.tar.xz 2023-11-08 18:36 11K
agda_2.6.3-1build1.dsc 2023-11-08 18:36 4.8K
libghc-agda-doc_2.6.3-1build1_all.deb 2023-11-11 05:19 6.0M
elpa-agda2-mode_2.6.3-1build1_all.deb 2023-11-11 05:19 45K
agda_2.6.3-1build1_all.deb 2023-11-11 05:19 3.7K
libghc-agda-dev_2.6.3-1build1_ppc64el.deb 2023-11-11 06:14 39M
agda-bin_2.6.3-1build1_ppc64el.deb 2023-11-11 06:14 13M
libghc-agda-dev_2.6.3-1build1_s390x.deb 2023-11-11 06:14 38M
agda-bin_2.6.3-1build1_s390x.deb 2023-11-11 06:14 17M
libghc-agda-dev_2.6.3-1build1_arm64.deb 2023-11-11 09:55 28M
agda-bin_2.6.3-1build1_arm64.deb 2023-11-11 09:55 11M
libghc-agda-dev_2.6.3-1build1_riscv64.deb 2023-11-12 02:09 45M
agda-bin_2.6.3-1build1_riscv64.deb 2023-11-12 02:09 12M
agda_2.6.3-2.dsc 2024-09-07 15:18 4.8K
agda_2.6.3-2.debian.tar.xz 2024-09-07 15:18 11K
libghc-agda-doc_2.6.3-2_all.deb 2024-09-07 15:18 5.9M
elpa-agda2-mode_2.6.3-2_all.deb 2024-09-07 15:18 45K
agda_2.6.3-2_all.deb 2024-09-07 15:18 3.6K
libghc-agda-dev_2.6.3-2_arm64.deb 2024-09-07 16:09 27M
agda-bin_2.6.3-2_arm64.deb 2024-09-07 16:09 11M
libghc-agda-dev_2.6.3-2_ppc64el.deb 2024-09-07 16:09 38M
agda-bin_2.6.3-2_ppc64el.deb 2024-09-07 16:09 12M
libghc-agda-dev_2.6.3-2_s390x.deb 2024-09-07 16:09 37M
agda-bin_2.6.3-2_s390x.deb 2024-09-07 16:09 17M
libghc-agda-dev_2.6.3-2_riscv64.deb 2024-09-08 00:44 45M
agda-bin_2.6.3-2_riscv64.deb 2024-09-08 00:44 12M
agda_2.6.4.3-1.dsc 2024-10-26 04:11 5.1K
agda_2.6.4.3.orig.tar.gz 2024-10-26 04:11 1.8M
agda_2.6.4.3-1.debian.tar.xz 2024-10-26 04:11 10K
libghc-agda-doc_2.6.4.3-1_all.deb 2024-10-26 06:15 6.4M
elpa-agda2-mode_2.6.4.3-1_all.deb 2024-10-26 06:15 45K
agda_2.6.4.3-1_all.deb 2024-10-26 06:15 3.6K
libghc-agda-dev_2.6.4.3-1_arm64.deb 2024-10-26 06:15 26M
agda-bin_2.6.4.3-1_arm64.deb 2024-10-26 06:15 11M
libghc-agda-dev_2.6.4.3-1_ppc64el.deb 2024-10-26 06:15 33M
agda-bin_2.6.4.3-1_ppc64el.deb 2024-10-26 06:15 10M
libghc-agda-dev_2.6.4.3-1_s390x.deb 2024-10-26 07:46 44M
agda-bin_2.6.4.3-1_s390x.deb 2024-10-26 07:46 22M
libghc-agda-dev_2.6.4.3-1_riscv64.deb 2024-10-26 17:11 48M
agda-bin_2.6.4.3-1_riscv64.deb 2024-10-26 17:11 14M