Index of /ubuntu-old-releases/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-1~ubuntu1_powerpc.deb 27-Feb-2011 21:05 4339828
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-2_powerpc.deb 10-Jun-2011 16:05 4165168
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_amd64.deb 24-Aug-2009 18:42 2546082
agda-bin_2.2.4-1_i386.deb 24-Aug-2009 18:43 2393262
agda-bin_2.2.4-1_lpia.deb 24-Aug-2009 18:43 2379276
agda-bin_2.2.4-1_powerpc.deb 24-Aug-2009 18:44 2675662
agda-bin_2.2.4-1_sparc.deb 25-Aug-2009 02:06 3970784
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_amd64.deb 03-Feb-2010 15:04 2850580
agda-bin_2.2.6-1build1_armel.deb 08-Feb-2010 20:04 5042958
agda-bin_2.2.6-1build1_i386.deb 03-Feb-2010 15:04 2676392
agda-bin_2.2.6-1build1_powerpc.deb 07-Feb-2010 08:04 3003852
agda-bin_2.2.6-1build1_sparc.deb 04-Feb-2010 17:05 4332624
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_armel.deb 18-Mar-2012 21:33 7189358
agda-bin_2.3.0.1-1_armhf.deb 18-Mar-2012 21:33 7189302
agda-bin_2.3.0.1-1_i386.deb 18-Mar-2012 21:33 4567414
agda-bin_2.3.0.1-1_powerpc.deb 20-Apr-2012 19:03 4808820
agda-bin_2.3.0.1.orig.tar.gz 18-Mar-2012 21:33 1765