../ agda-bin_2.2.6-1.diff.gz 16-Aug-2012 22:43 2449 agda-bin_2.2.6-1.dsc 16-Aug-2012 22:43 1329 agda-bin_2.2.6.orig.tar.gz 16-Aug-2012 22:43 1681 agda-bin_2.3.0.1-1.diff.gz 18-Apr-2012 23:32 3008 agda-bin_2.3.0.1-1.dsc 18-Apr-2012 23:32 1370 agda-bin_2.3.0.1.orig.tar.gz 18-Apr-2012 23:32 1765