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/linuxmint-debian/build/pool/main/a/agda-bin/

Index of /pub/linuxmint-debian/build/pool/main/a/agda-bin/

File NameFile SizeDate
Parent directory/--
agda-bin_2.2.6-1+b1_amd64.deb 285451026-Jan-2010 09:32
agda-bin_2.2.6-1+b1_i386.deb 267923826-Jan-2010 09:32
agda-bin_2.2.6-1.diff.gz 244911-Jan-2010 17:47
agda-bin_2.2.6-1.dsc 132911-Jan-2010 17:47
agda-bin_2.2.6.orig.tar.gz 168111-Jan-2010 17:47
agda-bin_2.3.0-1_s390x.deb 1680117005-Dec-2011 07:32
agda-bin_2.3.0.1-1.diff.gz 300812-Mar-2012 13:47
agda-bin_2.3.0.1-1.dsc 137012-Mar-2012 13:47
agda-bin_2.3.0.1-1_amd64.deb 491172212-Mar-2012 13:47
agda-bin_2.3.0.1-1_i386.deb 458707812-Mar-2012 23:17
agda-bin_2.3.0.1.orig.tar.gz 176512-Mar-2012 13:47