../ agda-bin_2.3.0.1-1.diff.gz 12-Mar-2012 13:47 3008 agda-bin_2.3.0.1-1.dsc 12-Mar-2012 13:47 1370 agda-bin_2.3.0.1-1_amd64.deb 12-Mar-2012 13:47 4911722 agda-bin_2.3.0.1-1_i386.deb 12-Mar-2012 23:17 4587078 agda-bin_2.3.0.1.orig.tar.gz 12-Mar-2012 13:47 1765