../ hasktags_0.72.0-2.debian.tar.xz 05-Jan-2024 05:44 3692 hasktags_0.72.0-2.dsc 05-Jan-2024 05:44 2382 hasktags_0.72.0-2_amd64.deb 05-Jan-2024 05:45 1943020 hasktags_0.72.0.orig.tar.gz 20-Jul-2022 23:19 59000