Index of /ubuntu/security/pool/universe/a/agda-bin/


../
agda-bin_2.2.10-1~ubuntu1_amd64.deb                27-Feb-2011 20:05      4M
agda-bin_2.2.10-1~ubuntu1_i386.deb                 27-Feb-2011 20:05      4M
agda-bin_2.2.10-2_amd64.deb                        10-Jun-2011 11:05      4M
agda-bin_2.2.10-2_i386.deb                         10-Jun-2011 11:05      4M
agda-bin_2.2.4-1_amd64.deb                         24-Aug-2009 18:42      2M
agda-bin_2.2.4-1_i386.deb                          24-Aug-2009 18:43      2M
agda-bin_2.2.6-1build1_amd64.deb                   03-Feb-2010 15:04      3M
agda-bin_2.2.6-1build1_i386.deb                    03-Feb-2010 15:04      3M
agda-bin_2.3.0.1-1_amd64.deb                       18-Mar-2012 22:33      5M
agda-bin_2.3.0.1-1_i386.deb                        18-Mar-2012 21:33      4M