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

../
agda-bin_2.2.10-1~ubuntu1.diff.gz                  28-Feb-2011 04:04    2875
agda-bin_2.2.10-1~ubuntu1.dsc                      28-Feb-2011 04:04    2089
agda-bin_2.2.10-1~ubuntu1_amd64.deb                28-Feb-2011 04:05      4M
agda-bin_2.2.10-1~ubuntu1_i386.deb                 28-Feb-2011 04:05      4M
agda-bin_2.2.10-2.diff.gz                          10-Jun-2011 19:05    2897
agda-bin_2.2.10-2.dsc                              10-Jun-2011 19:05    1960
agda-bin_2.2.10-2_amd64.deb                        10-Jun-2011 19:05      4M
agda-bin_2.2.10-2_i386.deb                         10-Jun-2011 19:05      4M
agda-bin_2.2.10.orig.tar.gz                        28-Feb-2011 04:04    1788
agda-bin_2.2.4-1.diff.gz                           24-Aug-2009 19:04    2093
agda-bin_2.2.4-1.dsc                               24-Aug-2009 19:04    1084
agda-bin_2.2.4-1_amd64.deb                         25-Aug-2009 02:42      2M
agda-bin_2.2.4-1_i386.deb                          25-Aug-2009 02:43      2M
agda-bin_2.2.4.orig.tar.gz                         24-Aug-2009 19:04    1587
agda-bin_2.2.6-1build1.diff.gz                     03-Feb-2010 23:04    2503
agda-bin_2.2.6-1build1.dsc                         03-Feb-2010 23:04    1356
agda-bin_2.2.6-1build1_amd64.deb                   03-Feb-2010 23:04      3M
agda-bin_2.2.6-1build1_i386.deb                    03-Feb-2010 23:04      3M
agda-bin_2.2.6.orig.tar.gz                         22-Jan-2010 19:08    1681
agda-bin_2.3.0.1-1.diff.gz                         19-Mar-2012 05:33    3008
agda-bin_2.3.0.1-1.dsc                             19-Mar-2012 05:33    1370
agda-bin_2.3.0.1-1_amd64.deb                       19-Mar-2012 06:33      5M
agda-bin_2.3.0.1-1_i386.deb                        19-Mar-2012 05:33      4M
agda-bin_2.3.0.1.orig.tar.gz                       19-Mar-2012 05:33    1765