../ agda-bin_2.3.0.1-1.diff.gz 03-Apr-2019 01:55 3008 agda-bin_2.3.0.1-1.dsc 03-Apr-2019 01:55 1370 agda-bin_2.3.0.1-1_amd64.deb 03-Apr-2019 02:22 4911722 agda-bin_2.3.0.1-1_i386.deb 03-Apr-2019 01:39 4587078 agda-bin_2.3.0.1.orig.tar.gz 03-Apr-2019 01:55 1765