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

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

File Name  ↓ File Size  ↓ Date  ↓ 
Parent directory/--
agda_2.3.2.2-1.debian.tar.gz7.2 KiB2013-11-06T17:28Z
agda_2.3.2.2-1.dsc3.2 KiB2013-11-06T17:28Z
agda_2.3.2.2.orig.tar.gz1.9 MiB2013-11-06T17:28Z
libghc-agda-doc_2.3.2.2-1_all.deb2.1 MiB2013-11-06T17:28Z
agda-mode_2.3.2.2-1_all.deb47.0 KiB2013-11-06T17:28Z
agda_2.3.2.2-1_all.deb2.9 KiB2013-11-06T17:28Z
libghc-agda-dev_2.3.2.2-1_powerpc.deb14.8 MiB2013-11-06T17:29Z
agda-bin_2.3.2.2-1_powerpc.deb5.1 MiB2013-11-06T17:29Z
agda_2.4.2.5.orig.tar.gz1007.3 KiB2016-01-04T23:25Z
agda_2.4.2.5-1build1.dsc3.7 KiB2016-01-12T22:30Z
agda_2.4.2.5-1build1.debian.tar.xz7.7 KiB2016-01-12T22:30Z
agda-mode_2.4.2.5-1build1_all.deb36.4 KiB2016-01-12T22:59Z
libghc-agda-doc_2.4.2.5-1build1_all.deb2.1 MiB2016-01-12T22:59Z
agda_2.4.2.5-1build1_all.deb2.9 KiB2016-01-12T22:59Z
libghc-agda-dev_2.4.2.5-1build1_powerpc.deb10.1 MiB2016-01-12T22:59Z
agda-bin_2.4.2.5-1build1_powerpc.deb4.1 MiB2016-01-12T22:59Z
agda-bin_2.4.2.5-1build1_s390x.deb11.2 MiB2016-01-12T22:59Z
libghc-agda-dev_2.4.2.5-1build1_s390x.deb16.4 MiB2016-01-12T22:59Z
libghc-agda-dev_2.4.2.5-1build1_ppc64el.deb15.9 MiB2016-01-12T23:15Z
agda-bin_2.4.2.5-1build1_ppc64el.deb6.4 MiB2016-01-12T23:15Z
libghc-agda-dev_2.4.2.5-1build1_arm64.deb15.9 MiB2016-01-13T00:25Z
agda-bin_2.4.2.5-1build1_arm64.deb7.6 MiB2016-01-13T00:25Z
libghc-agda-dev_2.4.2.5-1build1_armhf.deb13.2 MiB2017-06-21T18:09Z
agda-bin_2.4.2.5-1build1_armhf.deb6.0 MiB2017-06-21T18:09Z
agda_2.5.3.orig.tar.gz1.1 MiB2017-11-01T13:05Z
agda_2.5.3-3build1.dsc4.5 KiB2017-11-25T19:15Z
agda_2.5.3-3build1.debian.tar.xz9.6 KiB2017-11-25T19:15Z
libghc-agda-doc_2.5.3-3build1_all.deb2.6 MiB2017-11-25T20:09Z
elpa-agda2-mode_2.5.3-3build1_all.deb39.9 KiB2017-11-25T20:09Z
agda_2.5.3-3build1_all.deb3.0 KiB2017-11-25T20:09Z
agda-mode_2.5.3-3build1_all.deb3.5 KiB2017-11-25T20:09Z
libghc-agda-dev_2.5.3-3build1_ppc64el.deb20.3 MiB2017-11-25T20:10Z
agda-bin_2.5.3-3build1_ppc64el.deb6.4 MiB2017-11-25T20:10Z
libghc-agda-dev_2.5.3-3build1_s390x.deb23.5 MiB2017-11-25T20:10Z
agda-bin_2.5.3-3build1_s390x.deb12.7 MiB2017-11-25T20:10Z
agda-bin_2.5.3-3build1_arm64.deb8.7 MiB2017-11-25T22:59Z
libghc-agda-dev_2.5.3-3build1_arm64.deb22.7 MiB2017-11-25T22:59Z
libghc-agda-dev_2.5.3-3build1_armhf.deb18.7 MiB2017-11-25T22:59Z
agda-bin_2.5.3-3build1_armhf.deb7.0 MiB2017-11-25T22:59Z
agda_2.6.0.1.orig.tar.gz2.3 MiB2019-09-01T12:43Z
agda_2.6.0.1-1build4.dsc4.2 KiB2020-02-08T11:38Z
agda_2.6.0.1-1build4.debian.tar.xz10.0 KiB2020-02-08T11:38Z
libghc-agda-dev_2.6.0.1-1build4_ppc64el.deb27.5 MiB2020-02-08T12:35Z
agda-bin_2.6.0.1-1build4_ppc64el.deb8.7 MiB2020-02-08T12:35Z
libghc-agda-dev_2.6.0.1-1build4_s390x.deb28.5 MiB2020-02-08T13:07Z
agda-bin_2.6.0.1-1build4_s390x.deb14.8 MiB2020-02-08T13:07Z
libghc-agda-doc_2.6.0.1-1build4_all.deb4.0 MiB2020-02-08T13:19Z
elpa-agda2-mode_2.6.0.1-1build4_all.deb40.2 KiB2020-02-08T13:19Z
agda_2.6.0.1-1build4_all.deb4.0 KiB2020-02-08T13:19Z
agda-mode_2.6.0.1-1build4_all.deb3.6 KiB2020-02-08T13:19Z
agda-bin_2.6.0.1-1build4_arm64.deb7.4 MiB2020-02-08T14:53Z
libghc-agda-dev_2.6.0.1-1build4_arm64.deb22.1 MiB2020-02-08T14:53Z
libghc-agda-dev_2.6.0.1-1build4_riscv64.deb41.9 MiB2020-04-10T17:03Z
agda-bin_2.6.0.1-1build4_riscv64.deb17.3 MiB2020-04-10T17:03Z
agda_2.6.1.orig.tar.gz2.5 MiB2020-07-29T23:19Z
agda_2.6.1-1build2.1.dsc4.2 KiB2021-09-16T07:39Z
agda_2.6.1-1build2.1.debian.tar.xz10.0 KiB2021-09-16T07:39Z
agda_2.6.1-1build2.1_all.deb4.0 KiB2021-09-16T08:28Z
elpa-agda2-mode_2.6.1-1build2.1_all.deb45.1 KiB2021-09-16T08:28Z
libghc-agda-doc_2.6.1-1build2.1_all.deb5.2 MiB2021-09-16T08:28Z
agda-bin_2.6.1-1build2.1_ppc64el.deb13.7 MiB2021-09-16T08:43Z
libghc-agda-dev_2.6.1-1build2.1_ppc64el.deb62.6 MiB2021-09-16T08:43Z
agda-bin_2.6.1-1build2.1_s390x.deb28.4 MiB2021-09-16T08:58Z
libghc-agda-dev_2.6.1-1build2.1_s390x.deb65.5 MiB2021-09-16T08:58Z
agda-bin_2.6.1-1build2.1_riscv64.deb15.0 MiB2021-09-17T21:33Z
libghc-agda-dev_2.6.1-1build2.1_riscv64.deb90.0 MiB2021-09-17T21:33Z
agda_2.6.3.orig.tar.gz1.7 MiB2023-10-26T15:43Z
agda_2.6.3-1build1.dsc4.8 KiB2023-11-08T09:36Z
agda_2.6.3-1build1.debian.tar.xz11.4 KiB2023-11-08T09:36Z
libghc-agda-doc_2.6.3-1build1_all.deb6.0 MiB2023-11-10T20:19Z
elpa-agda2-mode_2.6.3-1build1_all.deb45.2 KiB2023-11-10T20:19Z
agda_2.6.3-1build1_all.deb3.7 KiB2023-11-10T20:19Z
agda-bin_2.6.3-1build1_ppc64el.deb12.7 MiB2023-11-10T21:14Z
libghc-agda-dev_2.6.3-1build1_ppc64el.deb38.8 MiB2023-11-10T21:14Z
agda-bin_2.6.3-1build1_s390x.deb16.6 MiB2023-11-10T21:14Z
libghc-agda-dev_2.6.3-1build1_s390x.deb37.9 MiB2023-11-10T21:14Z
agda-bin_2.6.3-1build1_arm64.deb11.1 MiB2023-11-11T00:55Z
libghc-agda-dev_2.6.3-1build1_arm64.deb27.7 MiB2023-11-11T00:55Z
libghc-agda-dev_2.6.3-1build1_riscv64.deb45.0 MiB2023-11-11T17:09Z
agda-bin_2.6.3-1build1_riscv64.deb12.2 MiB2023-11-11T17:09Z
agda_2.6.3-2.dsc4.8 KiB2024-09-07T06:18Z
agda_2.6.3-2.debian.tar.xz11.4 KiB2024-09-07T06:18Z
libghc-agda-doc_2.6.3-2_all.deb5.9 MiB2024-09-07T06:18Z
agda_2.6.3-2_all.deb3.6 KiB2024-09-07T06:18Z
elpa-agda2-mode_2.6.3-2_all.deb45.2 KiB2024-09-07T06:18Z
agda-bin_2.6.3-2_arm64.deb11.1 MiB2024-09-07T07:09Z
libghc-agda-dev_2.6.3-2_arm64.deb27.4 MiB2024-09-07T07:09Z
libghc-agda-dev_2.6.3-2_ppc64el.deb38.0 MiB2024-09-07T07:09Z
agda-bin_2.6.3-2_ppc64el.deb12.4 MiB2024-09-07T07:09Z
agda-bin_2.6.3-2_s390x.deb16.5 MiB2024-09-07T07:09Z
libghc-agda-dev_2.6.3-2_s390x.deb37.0 MiB2024-09-07T07:09Z
libghc-agda-dev_2.6.3-2_riscv64.deb44.6 MiB2024-09-07T15:44Z
agda-bin_2.6.3-2_riscv64.deb12.1 MiB2024-09-07T15:44Z
agda_2.6.4.3-1.debian.tar.xz10.2 KiB2024-10-25T19:11Z
agda_2.6.4.3-1.dsc5.1 KiB2024-10-25T19:11Z
agda_2.6.4.3.orig.tar.gz1.8 MiB2024-10-25T19:11Z
agda_2.6.4.3-1_all.deb3.6 KiB2024-10-25T21:15Z
elpa-agda2-mode_2.6.4.3-1_all.deb45.2 KiB2024-10-25T21:15Z
libghc-agda-doc_2.6.4.3-1_all.deb6.4 MiB2024-10-25T21:15Z
libghc-agda-dev_2.6.4.3-1_arm64.deb26.0 MiB2024-10-25T21:15Z
agda-bin_2.6.4.3-1_arm64.deb10.6 MiB2024-10-25T21:15Z
agda-bin_2.6.4.3-1_ppc64el.deb10.3 MiB2024-10-25T21:15Z
libghc-agda-dev_2.6.4.3-1_ppc64el.deb33.3 MiB2024-10-25T21:15Z
libghc-agda-dev_2.6.4.3-1_s390x.deb43.9 MiB2024-10-25T22:46Z
agda-bin_2.6.4.3-1_s390x.deb21.9 MiB2024-10-25T22:46Z
libghc-agda-dev_2.6.4.3-1_riscv64.deb47.6 MiB2024-10-26T08:11Z
agda-bin_2.6.4.3-1_riscv64.deb13.8 MiB2024-10-26T08:11Z

This site is operating by seadog007 & james58899 & Haraguroicha, with infrastructure provided by Taiwan Digital Streaming Co.

The source code of this site can be found on Here (Mirror Manager) and Here (Website)

Contact Us

This site is operating by seadog007 & james58899 & Haraguroicha, with infrastructure provided by Taiwan Digital Streaming Co.

The source code of this site can be found on Here (Mirror Manager) and Here (Website)

Contact Us

cube github