Index of /ubuntu/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_amd64.deb                27-Feb-2011 20:05             4110510
agda-bin_2.2.10-1~ubuntu1_i386.deb                 27-Feb-2011 20:05             3838746
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_amd64.deb                        10-Jun-2011 11:05             4239880
agda-bin_2.2.10-2_i386.deb                         10-Jun-2011 11:05             3949110
agda-bin_2.2.10.orig.tar.gz                        27-Feb-2011 20:04                1788
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_amd64.deb                   03-Feb-2010 15:04             2850580
agda-bin_2.2.6-1build1_i386.deb                    03-Feb-2010 15:04             2676392
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_amd64.deb                       18-Mar-2012 22:33             4888692
agda-bin_2.3.0.1-1_i386.deb                        18-Mar-2012 21:33             4567414
agda-bin_2.3.0.1.orig.tar.gz                       18-Mar-2012 21:33                1765