Index of /gnewsense-three/gnewsense/pool/main/a/agda-bin

      Name                                    Last modified      Size  Description
Parent Directory - agda-bin_2.2.6-1+b1_amd64.deb 2010-01-26 09:32 2.7M agda-bin_2.2.6-1+b1_i386.deb 2010-01-26 09:32 2.6M agda-bin_2.2.6-1.diff.gz 2010-01-11 17:47 2.4K agda-bin_2.2.6-1.dsc 2010-01-11 17:47 1.3K agda-bin_2.2.6-1_mipsel.deb 2010-03-16 01:17 5.5M agda-bin_2.2.6.orig.tar.gz 2010-01-11 17:47 1.6K agda-bin_2.3.0.1-1.diff.gz 2012-03-12 13:47 2.9K agda-bin_2.3.0.1-1.dsc 2012-03-12 13:47 1.3K agda-bin_2.3.0.1-1_amd64.deb 2012-03-12 13:47 4.7M agda-bin_2.3.0.1-1_i386.deb 2012-03-12 23:17 4.4M agda-bin_2.3.0.1.orig.tar.gz 2012-03-12 13:47 1.7K
ftp.heanet.ie