Skip To Content

Home - Residential - Entertainment - File Download Mirror - Directory Listing

File Download Mirror

The Internode Mirror contains a wide selection of software for download by Internode customers.

File Download Mirror Directory Listing

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

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

File NameFile SizeDate
Parent directory/--
agda-bin_2.3.2.2-1_powerpc.deb 534889806-Nov-2013 17:29
agda-bin_2.4.2.5-1build1_arm64.deb 795809813-Jan-2016 00:25
agda-bin_2.4.2.5-1build1_armhf.deb 630575021-Jun-2017 18:09
agda-bin_2.4.2.5-1build1_powerpc.deb 429599412-Jan-2016 22:59
agda-bin_2.4.2.5-1build1_ppc64el.deb 673619612-Jan-2016 23:15
agda-bin_2.4.2.5-1build1_s390x.deb 1172959412-Jan-2016 22:59
agda-bin_2.5.3-3build1_arm64.deb 909476025-Nov-2017 22:59
agda-bin_2.5.3-3build1_armhf.deb 733038425-Nov-2017 22:59
agda-bin_2.5.3-3build1_ppc64el.deb 672441625-Nov-2017 20:10
agda-bin_2.5.3-3build1_s390x.deb 1329000025-Nov-2017 20:10
agda-bin_2.6.0.1-1build4_arm64.deb 779099608-Feb-2020 14:53
agda-bin_2.6.0.1-1build4_ppc64el.deb 914364808-Feb-2020 12:35
agda-bin_2.6.0.1-1build4_riscv64.deb 1814314810-Apr-2020 17:03
agda-bin_2.6.0.1-1build4_s390x.deb 1547130008-Feb-2020 13:07
agda-bin_2.6.1-1build2.1_ppc64el.deb 1437983816-Sep-2021 08:43
agda-bin_2.6.1-1build2.1_riscv64.deb 1576785217-Sep-2021 21:33
agda-bin_2.6.1-1build2.1_s390x.deb 2979112416-Sep-2021 08:58
agda-bin_2.6.2.2-1.1build1_ppc64el.deb 1239024612-Dec-2022 10:59
agda-bin_2.6.2.2-1.1build1_riscv64.deb 1350138213-Dec-2022 14:59
agda-bin_2.6.2.2-1.1build1_s390x.deb 2497987412-Dec-2022 12:46
agda-bin_2.6.3-1build1_arm64.deb 1167758211-Nov-2023 00:55
agda-bin_2.6.3-1build1_ppc64el.deb 1334416610-Nov-2023 21:14
agda-bin_2.6.3-1build1_riscv64.deb 1276233011-Nov-2023 17:09
agda-bin_2.6.3-1build1_s390x.deb 1735662610-Nov-2023 21:14
agda-mode_2.3.2.2-1_all.deb 4808006-Nov-2013 17:28
agda-mode_2.4.2.5-1build1_all.deb 3727212-Jan-2016 22:59
agda-mode_2.5.3-3build1_all.deb 358425-Nov-2017 20:09
agda-mode_2.6.0.1-1build4_all.deb 364408-Feb-2020 13:19
agda_2.3.2.2-1.debian.tar.gz 740606-Nov-2013 17:28
agda_2.3.2.2-1.dsc 328306-Nov-2013 17:28
agda_2.3.2.2-1_all.deb 299606-Nov-2013 17:28
agda_2.3.2.2.orig.tar.gz 203493406-Nov-2013 17:28
agda_2.4.2.5-1build1.debian.tar.xz 784812-Jan-2016 22:30
agda_2.4.2.5-1build1.dsc 382612-Jan-2016 22:30
agda_2.4.2.5-1build1_all.deb 296612-Jan-2016 22:59
agda_2.4.2.5.orig.tar.gz 103142704-Jan-2016 23:25
agda_2.5.3-3build1.debian.tar.xz 980025-Nov-2017 19:15
agda_2.5.3-3build1.dsc 457225-Nov-2017 19:15
agda_2.5.3-3build1_all.deb 305225-Nov-2017 20:09
agda_2.5.3.orig.tar.gz 120134401-Nov-2017 13:05
agda_2.6.0.1-1build4.debian.tar.xz 1022008-Feb-2020 11:38
agda_2.6.0.1-1build4.dsc 429308-Feb-2020 11:38
agda_2.6.0.1-1build4_all.deb 405608-Feb-2020 13:19
agda_2.6.0.1.orig.tar.gz 237210601-Sep-2019 12:43
agda_2.6.1-1build2.1.debian.tar.xz 1023216-Sep-2021 07:39
agda_2.6.1-1build2.1.dsc 429316-Sep-2021 07:39
agda_2.6.1-1build2.1_all.deb 413416-Sep-2021 08:28
agda_2.6.1.orig.tar.gz 264628929-Jul-2020 23:19
agda_2.6.2.2-1.1build1.debian.tar.xz 1053612-Dec-2022 10:29
agda_2.6.2.2-1.1build1.dsc 445012-Dec-2022 10:29
agda_2.6.2.2-1.1build1_all.deb 371612-Dec-2022 10:59
agda_2.6.2.2.orig.tar.gz 169063506-Aug-2022 23:19
agda_2.6.3-1build1.debian.tar.xz 1162808-Nov-2023 09:36
agda_2.6.3-1build1.dsc 493908-Nov-2023 09:36
agda_2.6.3-1build1_all.deb 375810-Nov-2023 20:19
agda_2.6.3.orig.tar.gz 179426926-Oct-2023 15:43
elpa-agda2-mode_2.5.3-3build1_all.deb 4085225-Nov-2017 20:09
elpa-agda2-mode_2.6.0.1-1build4_all.deb 4118008-Feb-2020 13:19
elpa-agda2-mode_2.6.1-1build2.1_all.deb 4617416-Sep-2021 08:28
elpa-agda2-mode_2.6.2.2-1.1build1_all.deb 4537812-Dec-2022 10:59
elpa-agda2-mode_2.6.3-1build1_all.deb 4625010-Nov-2023 20:19
libghc-agda-dev_2.3.2.2-1_powerpc.deb 1554704006-Nov-2013 17:29
libghc-agda-dev_2.4.2.5-1build1_arm64.deb 1662957213-Jan-2016 00:25
libghc-agda-dev_2.4.2.5-1build1_armhf.deb 1381572421-Jun-2017 18:09
libghc-agda-dev_2.4.2.5-1build1_powerpc.deb 1058137412-Jan-2016 22:59
libghc-agda-dev_2.4.2.5-1build1_ppc64el.deb 1672071412-Jan-2016 23:15
libghc-agda-dev_2.4.2.5-1build1_s390x.deb 1716029412-Jan-2016 22:59
libghc-agda-dev_2.5.3-3build1_arm64.deb 2385293625-Nov-2017 22:59
libghc-agda-dev_2.5.3-3build1_armhf.deb 1956434825-Nov-2017 22:59
libghc-agda-dev_2.5.3-3build1_ppc64el.deb 2127748825-Nov-2017 20:10
libghc-agda-dev_2.5.3-3build1_s390x.deb 2467648025-Nov-2017 20:10
libghc-agda-dev_2.6.0.1-1build4_arm64.deb 2321021208-Feb-2020 14:53
libghc-agda-dev_2.6.0.1-1build4_ppc64el.deb 2883443208-Feb-2020 12:35
libghc-agda-dev_2.6.0.1-1build4_riscv64.deb 4398161610-Apr-2020 17:03
libghc-agda-dev_2.6.0.1-1build4_s390x.deb 2989929208-Feb-2020 13:07
libghc-agda-dev_2.6.1-1build2.1_ppc64el.deb 6565347416-Sep-2021 08:43
libghc-agda-dev_2.6.1-1build2.1_riscv64.deb 9441156417-Sep-2021 21:33
libghc-agda-dev_2.6.1-1build2.1_s390x.deb 6869995016-Sep-2021 08:58
libghc-agda-dev_2.6.2.2-1.1build1_ppc64el.deb 4320414212-Dec-2022 10:59
libghc-agda-dev_2.6.2.2-1.1build1_riscv64.deb 6251178613-Dec-2022 14:59
libghc-agda-dev_2.6.2.2-1.1build1_s390x.deb 4731146612-Dec-2022 12:46
libghc-agda-dev_2.6.3-1build1_arm64.deb 2905362811-Nov-2023 00:55
libghc-agda-dev_2.6.3-1build1_ppc64el.deb 4072956610-Nov-2023 21:14
libghc-agda-dev_2.6.3-1build1_riscv64.deb 4714086811-Nov-2023 17:09
libghc-agda-dev_2.6.3-1build1_s390x.deb 3970475210-Nov-2023 21:14
libghc-agda-doc_2.3.2.2-1_all.deb 218630606-Nov-2013 17:28
libghc-agda-doc_2.4.2.5-1build1_all.deb 218442212-Jan-2016 22:59
libghc-agda-doc_2.5.3-3build1_all.deb 275218425-Nov-2017 20:09
libghc-agda-doc_2.6.0.1-1build4_all.deb 420694008-Feb-2020 13:19
libghc-agda-doc_2.6.1-1build2.1_all.deb 540331216-Sep-2021 08:28
libghc-agda-doc_2.6.2.2-1.1build1_all.deb 599168412-Dec-2022 10:59
libghc-agda-doc_2.6.3-1build1_all.deb 628887610-Nov-2023 20:19