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-stdlib/

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

File NameFile SizeDate
Parent directory/--
agda-stdlib-doc_0.11-1_all.deb 126506205-Jan-2016 01:20
agda-stdlib-doc_0.14-1_all.deb 106900826-Nov-2017 18:04
agda-stdlib-doc_0.7-2_all.deb 174838227-May-2013 23:33
agda-stdlib-doc_1.1-1_all.deb 190628806-Sep-2019 15:48
agda-stdlib-doc_1.3-2_all.deb 244752402-Aug-2020 05:43
agda-stdlib-doc_1.7.1-1_all.deb 298010226-Aug-2022 19:09
agda-stdlib-doc_1.7.3-1_all.deb 298107610-Nov-2023 23:50
agda-stdlib_0.11-1.debian.tar.xz 460004-Jan-2016 23:25
agda-stdlib_0.11-1.dsc 210504-Jan-2016 23:25
agda-stdlib_0.11-1_all.deb 1750246205-Jan-2016 01:20
agda-stdlib_0.11.orig.tar.gz 25325104-Jan-2016 23:25
agda-stdlib_0.14-1.debian.tar.xz 518826-Nov-2017 17:08
agda-stdlib_0.14-1.dsc 210026-Nov-2017 17:08
agda-stdlib_0.14-1_all.deb 1815951626-Nov-2017 18:04
agda-stdlib_0.14.orig.tar.gz 28537926-Nov-2017 11:14
agda-stdlib_0.7-2.debian.tar.gz 445527-May-2013 23:33
agda-stdlib_0.7-2.dsc 207727-May-2013 23:33
agda-stdlib_0.7-2_all.deb 1814286827-May-2013 23:33
agda-stdlib_0.7.orig.tar.gz 22640010-Apr-2013 18:03
agda-stdlib_1.1-1.debian.tar.xz 552806-Sep-2019 15:48
agda-stdlib_1.1-1.dsc 211706-Sep-2019 15:48
agda-stdlib_1.1-1_all.deb 4738828006-Sep-2019 15:48
agda-stdlib_1.1.orig.tar.gz 57010604-Sep-2019 13:38
agda-stdlib_1.3-2.debian.tar.xz 564002-Aug-2020 05:13
agda-stdlib_1.3-2.dsc 211302-Aug-2020 05:13
agda-stdlib_1.3-2_all.deb 7322452802-Aug-2020 05:43
agda-stdlib_1.3.orig.tar.gz 75141201-Aug-2020 23:33
agda-stdlib_1.7.1-1.debian.tar.xz 566406-Aug-2022 23:19
agda-stdlib_1.7.1-1.dsc 215706-Aug-2022 23:19
agda-stdlib_1.7.1-1_all.deb 10272039226-Aug-2022 19:09
agda-stdlib_1.7.1.orig.tar.gz 94013106-Aug-2022 23:19
agda-stdlib_1.7.3-1.debian.tar.xz 573204-Nov-2023 18:15
agda-stdlib_1.7.3-1.dsc 215704-Nov-2023 18:15
agda-stdlib_1.7.3-1_all.deb 12054109410-Nov-2023 23:50
agda-stdlib_1.7.3.orig.tar.gz 94208604-Nov-2023 18:15