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/

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

File NameFile SizeDate
Parent directory/--
agda-bin_2.3.2.2-1_amd64.deb 345516806-Nov-2013 10:24
agda-bin_2.3.2.2-1_i386.deb 332110406-Nov-2013 10:59
agda-mode_2.2.6-7_all.deb 4006206-May-2010 04:02
agda-mode_2.3.0.1-2_all.deb 4613626-May-2012 21:32
agda-mode_2.3.2.2-1_all.deb 4748806-Nov-2013 10:24
agda_2.2.6-7.debian.tar.gz 531506-May-2010 04:02
agda_2.2.6-7.dsc 229406-May-2010 04:02
agda_2.2.6.orig.tar.gz 42438207-Jan-2010 19:47
agda_2.3.0.1-2.debian.tar.gz 687426-May-2012 21:32
agda_2.3.0.1-2.dsc 239126-May-2012 21:32
agda_2.3.0.1-2_all.deb 1320026-May-2012 21:32
agda_2.3.0.1.orig.tar.gz 61234212-Mar-2012 13:32
agda_2.3.2.2-1.debian.tar.gz 740606-Nov-2013 10:24
agda_2.3.2.2-1.dsc 328306-Nov-2013 10:24
agda_2.3.2.2-1_all.deb 1752606-Nov-2013 10:24
agda_2.3.2.2.orig.tar.gz 203493406-Nov-2013 10:24
libghc-agda-dev_2.3.0-1_s390x.deb 2310765604-Dec-2011 19:47
libghc-agda-dev_2.3.0.1-2+b1_amd64.deb 1304940827-May-2012 23:02
libghc-agda-dev_2.3.0.1-2_i386.deb 1240223226-May-2012 22:32
libghc-agda-dev_2.3.2.2-1_amd64.deb 800970806-Nov-2013 10:24
libghc-agda-dev_2.3.2.2-1_i386.deb 789917806-Nov-2013 10:59
libghc-agda-doc_2.3.0.1-2_all.deb 175081226-May-2012 21:32
libghc-agda-doc_2.3.2.2-1_all.deb 147573406-Nov-2013 10:24
libghc6-agda-dev_2.2.6-7_amd64.deb 1005527406-May-2010 04:02
libghc6-agda-dev_2.2.6-7_i386.deb 952504006-May-2010 07:17
libghc6-agda-doc_2.2.6-7_all.deb 109699206-May-2010 04:02