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

Index of /pub/ubuntu-archive/pool/universe/a/agda-bin/

File NameFile SizeDate
Parent directory/--
agda-bin_2.2.6-1build1.diff.gz 250303-Feb-2010 15:04
agda-bin_2.2.6-1build1.dsc 135603-Feb-2010 15:04
agda-bin_2.2.6-1build1_amd64.deb 285058003-Feb-2010 15:04
agda-bin_2.2.6-1build1_i386.deb 267639203-Feb-2010 15:04
agda-bin_2.2.6.orig.tar.gz 168122-Jan-2010 11:08