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/pool/universe/a/agda/

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

File NameFile SizeDate
Parent directory/--
agda-bin_2.3.2.2-1_amd64.deb 547632806-Nov-2013 17:28
agda-bin_2.3.2.2-1_i386.deb 509472206-Nov-2013 17:28
agda-bin_2.4.2.5-1build1_amd64.deb 480361612-Jan-2016 22:59
agda-bin_2.4.2.5-1build1_i386.deb 478408212-Jan-2016 22:45
agda-bin_2.5.3-3build1_amd64.deb 572808025-Nov-2017 20:09
agda-bin_2.5.3-3build1_i386.deb 573557625-Nov-2017 20:09
agda-bin_2.6.0.1-1build4_amd64.deb 657185208-Feb-2020 13:19
agda-bin_2.6.1-1build2.1_amd64.deb 954138416-Sep-2021 08:28
agda-bin_2.6.2.2-1.1build1_amd64.deb 834517012-Dec-2022 10:59
agda-bin_2.6.3-1build1_amd64.deb 1098555010-Nov-2023 20:19
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_amd64.deb 1358667206-Nov-2013 17:28
libghc-agda-dev_2.3.2.2-1_i386.deb 1290654006-Nov-2013 17:28
libghc-agda-dev_2.4.2.5-1build1_amd64.deb 1067034612-Jan-2016 22:59
libghc-agda-dev_2.4.2.5-1build1_i386.deb 1053822212-Jan-2016 22:45
libghc-agda-dev_2.5.3-3build1_amd64.deb 1587442825-Nov-2017 20:09
libghc-agda-dev_2.5.3-3build1_i386.deb 1558770425-Nov-2017 20:09
libghc-agda-dev_2.6.0.1-1build4_amd64.deb 1968186408-Feb-2020 13:19
libghc-agda-dev_2.6.1-1build2.1_amd64.deb 4025577416-Sep-2021 08:28
libghc-agda-dev_2.6.2.2-1.1build1_amd64.deb 2672633412-Dec-2022 10:59
libghc-agda-dev_2.6.3-1build1_amd64.deb 2548519610-Nov-2023 20:19
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