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

../
agda-bin_2.2.10-1~ubuntu1.diff.gz                  27-Feb-2011 20:04    2875
agda-bin_2.2.10-1~ubuntu1.dsc                      27-Feb-2011 20:04    2089
agda-bin_2.2.10-1~ubuntu1_i386.deb                 27-Feb-2011 20:05      4M
agda-bin_2.2.10-2.diff.gz                          10-Jun-2011 11:05    2897
agda-bin_2.2.10-2.dsc                              10-Jun-2011 11:05    1960
agda-bin_2.2.10-2_i386.deb                         10-Jun-2011 11:05      4M
agda-bin_2.2.10.orig.tar.gz                        27-Feb-2011 20:04    1788
agda-bin_2.2.4-1.diff.gz                           24-Aug-2009 11:04    2093
agda-bin_2.2.4-1.dsc                               24-Aug-2009 11:04    1084
agda-bin_2.2.4-1_i386.deb                          24-Aug-2009 18:43      2M
agda-bin_2.2.4.orig.tar.gz                         24-Aug-2009 11:04    1587
agda-bin_2.2.6-1build1.diff.gz                     03-Feb-2010 15:04    2503
agda-bin_2.2.6-1build1.dsc                         03-Feb-2010 15:04    1356
agda-bin_2.2.6-1build1_i386.deb                    03-Feb-2010 15:04      3M
agda-bin_2.2.6.orig.tar.gz                         22-Jan-2010 11:08    1681
agda-bin_2.3.0.1-1.diff.gz                         18-Mar-2012 21:33    3008
agda-bin_2.3.0.1-1.dsc                             18-Mar-2012 21:33    1370
agda-bin_2.3.0.1-1_i386.deb                        18-Mar-2012 21:33      4M
agda-bin_2.3.0.1.orig.tar.gz                       18-Mar-2012 21:33    1765