../ 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