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/

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

File NameFile SizeDate
Parent directory/--
agda-mode_2.2.6-3_all.deb 3927804-Mar-2010 15:05
agda_2.2.6-3.diff.gz 536404-Mar-2010 15:05
agda_2.2.6-3.dsc 275004-Mar-2010 15:05
agda_2.2.6.orig.tar.gz 42438202-Feb-2010 22:04
haskell-agda-doc_2.2.6-3_all.deb 105876604-Mar-2010 15:05
libghc6-agda-dev_2.2.6-3_amd64.deb 1004070804-Mar-2010 15:05
libghc6-agda-dev_2.2.6-3_i386.deb 953324804-Mar-2010 15:06
libghc6-agda-prof_2.2.6-3_amd64.deb 1486495004-Mar-2010 15:05
libghc6-agda-prof_2.2.6-3_i386.deb 1361625604-Mar-2010 15:06