../ hasktags_0.71.2-1.debian.tar.xz 30-Sep-2018 11:04 3316 hasktags_0.71.2-1.dsc 30-Sep-2018 11:04 2424 hasktags_0.71.2-1_amd64.deb 04-Oct-2018 00:29 516088 hasktags_0.71.2.orig.tar.gz 30-Sep-2018 11:04 58919