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/linux/debian/pool/main/a/agda/

Index of /pub/linux/debian/pool/main/a/agda/

File NameFile SizeDate
Parent directory/--
agda-bin_2.5.4.1-3+b1_amd64.deb 586844004-Dec-2018 10:59
agda-bin_2.5.4.1-3+b1_arm64.deb 678081604-Dec-2018 13:27
agda-bin_2.5.4.1-3+b1_i386.deb 594632404-Dec-2018 10:43
agda-bin_2.6.1-1+b2_amd64.deb 891005619-Aug-2020 19:59
agda-bin_2.6.1-1+b2_arm64.deb 1037421619-Aug-2020 21:57
agda-bin_2.6.1-1+b2_i386.deb 896794019-Aug-2020 22:58
agda-bin_2.6.1-1+b2_ppc64el.deb 1232596419-Aug-2020 23:59
agda-bin_2.6.1-1+b3_s390x.deb 2383215620-Aug-2020 00:40
agda-bin_2.6.2.2-1.1_amd64.deb 775199206-Dec-2022 17:57
agda-bin_2.6.2.2-1.1_mips64el.deb 1529193206-Dec-2022 22:12
agda-bin_2.6.2.2-1.1_ppc64el.deb 1060674806-Dec-2022 18:28
agda-bin_2.6.2.2-1.1_s390x.deb 2020757206-Dec-2022 18:38
agda-bin_2.6.3-2_amd64.deb 1024772429-Aug-2024 13:33
agda-bin_2.6.3-2_arm64.deb 1030948029-Aug-2024 14:18
agda-bin_2.6.3-2_i386.deb 1534388429-Aug-2024 14:44
agda-bin_2.6.3-2_mips64el.deb 1607919629-Aug-2024 16:30
agda-bin_2.6.3-2_ppc64el.deb 1139748829-Aug-2024 14:03
agda-bin_2.6.3-2_riscv64.deb 1147747630-Aug-2024 04:40
agda-bin_2.6.3-2_s390x.deb 1477892429-Aug-2024 14:08
agda-mode_2.5.4.1-3_all.deb 11768020-Oct-2018 21:57
agda_2.5.4.1-3.debian.tar.xz 992820-Oct-2018 20:41
agda_2.5.4.1-3.dsc 387020-Oct-2018 20:41
agda_2.5.4.1-3_all.deb 11810420-Oct-2018 21:57
agda_2.5.4.1.orig.tar.gz 198920130-Sep-2018 10:54
agda_2.6.1-1.debian.tar.xz 1006029-Jul-2020 15:40
agda_2.6.1-1.dsc 418629-Jul-2020 15:40
agda_2.6.1-1_all.deb 2873629-Jul-2020 16:40
agda_2.6.1.orig.tar.gz 264628929-Jul-2020 15:40
agda_2.6.2.2-1.1.debian.tar.xz 1049606-Dec-2022 16:40
agda_2.6.2.2-1.1.dsc 442606-Dec-2022 16:40
agda_2.6.2.2-1.1_all.deb 1230406-Dec-2022 17:41
agda_2.6.2.2.orig.tar.gz 169063506-Aug-2022 17:04
agda_2.6.3-2.debian.tar.xz 1163629-Aug-2024 13:02
agda_2.6.3-2.dsc 494529-Aug-2024 13:02
agda_2.6.3-2_all.deb 2026829-Aug-2024 13:38
agda_2.6.3.orig.tar.gz 179426913-Oct-2023 15:34
elpa-agda2-mode_2.5.4.1-3_all.deb 15544420-Oct-2018 21:57
elpa-agda2-mode_2.6.1-1_all.deb 6681629-Jul-2020 16:40
elpa-agda2-mode_2.6.2.2-1.1_all.deb 5094406-Dec-2022 17:41
elpa-agda2-mode_2.6.3-2_all.deb 5950429-Aug-2024 13:38
libghc-agda-dev_2.5.4.1-3+b1_amd64.deb 1717066804-Dec-2018 10:59
libghc-agda-dev_2.5.4.1-3+b1_arm64.deb 1973735204-Dec-2018 13:27
libghc-agda-dev_2.5.4.1-3+b1_i386.deb 1679789604-Dec-2018 10:43
libghc-agda-dev_2.6.1-1+b2_amd64.deb 3794825219-Aug-2020 19:59
libghc-agda-dev_2.6.1-1+b2_arm64.deb 4481859219-Aug-2020 21:57
libghc-agda-dev_2.6.1-1+b2_i386.deb 3808996419-Aug-2020 22:58
libghc-agda-dev_2.6.1-1+b2_ppc64el.deb 5586526819-Aug-2020 23:59
libghc-agda-dev_2.6.1-1+b3_s390x.deb 5799081620-Aug-2020 00:40
libghc-agda-dev_2.6.2.2-1.1_amd64.deb 2485303606-Dec-2022 17:57
libghc-agda-dev_2.6.2.2-1.1_mips64el.deb 3647746806-Dec-2022 22:12
libghc-agda-dev_2.6.2.2-1.1_ppc64el.deb 3620970406-Dec-2022 18:28
libghc-agda-dev_2.6.2.2-1.1_s390x.deb 3957304406-Dec-2022 18:38
libghc-agda-dev_2.6.3-2_amd64.deb 2364496829-Aug-2024 13:33
libghc-agda-dev_2.6.3-2_arm64.deb 2542448829-Aug-2024 14:18
libghc-agda-dev_2.6.3-2_i386.deb 3926381229-Aug-2024 14:44
libghc-agda-dev_2.6.3-2_mips64el.deb 3498888029-Aug-2024 16:30
libghc-agda-dev_2.6.3-2_ppc64el.deb 3419647229-Aug-2024 14:03
libghc-agda-dev_2.6.3-2_riscv64.deb 3885394830-Aug-2024 04:40
libghc-agda-dev_2.6.3-2_s390x.deb 3417742429-Aug-2024 14:08
libghc-agda-doc_2.5.4.1-3_all.deb 379083220-Oct-2018 21:57
libghc-agda-doc_2.6.1-1_all.deb 579963629-Jul-2020 16:40
libghc-agda-doc_2.6.2.2-1.1_all.deb 659997206-Dec-2022 17:41
libghc-agda-doc_2.6.3-2_all.deb 706149629-Aug-2024 13:38