Index of /gnewsense/pool/main/a/agda-bin
Name Last modified Size Description
Parent Directory -
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
agda-bin_2.3.0.1-1_amd64.deb 2012-03-12 13:47 4.7M
agda-bin_2.3.0.1-1.dsc 2012-03-12 13:47 1.3K
agda-bin_2.3.0.1-1.diff.gz 2012-03-12 13:47 2.9K
agda-bin_2.2.6-1_mipsel.deb 2010-03-16 01:17 5.5M
agda-bin_2.2.6-1+b1_i386.deb 2010-01-26 09:32 2.6M
agda-bin_2.2.6-1+b1_amd64.deb 2010-01-26 09:32 2.7M
agda-bin_2.2.6.orig.tar.gz 2010-01-11 17:47 1.6K
agda-bin_2.2.6-1.dsc 2010-01-11 17:47 1.3K
agda-bin_2.2.6-1.diff.gz 2010-01-11 17:47 2.4K
ftp.heanet.ie