../ hasktags_0.71.2-1.debian.tar.xz 14-Oct-2018 06:00 3316 hasktags_0.71.2-1.dsc 14-Oct-2018 06:00 2424 hasktags_0.71.2-1_amd64.deb 14-Oct-2018 06:01 516088 hasktags_0.71.2-1_arm64.deb 14-Oct-2018 06:01 640800 hasktags_0.71.2-1_armel.deb 14-Oct-2018 06:01 593084 hasktags_0.71.2-1_armhf.deb 14-Oct-2018 06:01 591784 hasktags_0.71.2-1_i386.deb 14-Oct-2018 06:01 513840 hasktags_0.71.2.orig.tar.gz 14-Oct-2018 06:00 58919