Index of /Linux/Ubuntu/ubuntu/pool/universe/a/agda-bin
Name Last modified Size Description
Parent Directory -
agda-bin_2.2.6-1build1.diff.gz 03-Feb-2010 23:04 2.4K
agda-bin_2.2.6-1build1.dsc 03-Feb-2010 23:04 1.3K
agda-bin_2.2.6-1build1_amd64.deb 03-Feb-2010 23:04 2.7M
agda-bin_2.2.6-1build1_i386.deb 03-Feb-2010 23:04 2.6M
agda-bin_2.2.6.orig.tar.gz 22-Jan-2010 19:08 1.6K
agda-bin_2.2.10-1~ubuntu1.diff.gz 28-Feb-2011 04:04 2.8K
agda-bin_2.2.10-1~ubuntu1.dsc 28-Feb-2011 04:04 2.0K
agda-bin_2.2.10-1~ubuntu1_amd64.deb 28-Feb-2011 04:05 3.9M
agda-bin_2.2.10-1~ubuntu1_i386.deb 28-Feb-2011 04:05 3.7M
agda-bin_2.2.10-2.diff.gz 10-Jun-2011 19:05 2.8K
agda-bin_2.2.10-2.dsc 10-Jun-2011 19:05 1.9K
agda-bin_2.2.10-2_amd64.deb 10-Jun-2011 19:05 4.0M
agda-bin_2.2.10-2_i386.deb 10-Jun-2011 19:05 3.8M
agda-bin_2.2.10.orig.tar.gz 28-Feb-2011 04:04 1.7K
agda-bin_2.3.0.1-1.diff.gz 19-Mar-2012 05:33 2.9K
agda-bin_2.3.0.1-1.dsc 19-Mar-2012 05:33 1.3K
agda-bin_2.3.0.1-1_amd64.deb 19-Mar-2012 06:33 4.7M
agda-bin_2.3.0.1-1_i386.deb 19-Mar-2012 05:33 4.4M
agda-bin_2.3.0.1.orig.tar.gz 19-Mar-2012 05:33 1.7K
Microsoft-IIS/10.0 Server at ftp.twaren.net Port 80