../ hasktags_0.71.2-2build1.debian.tar.xz 30-Aug-2023 23:39 3732 hasktags_0.71.2-2build1.dsc 30-Aug-2023 23:39 2444 hasktags_0.71.2-2build1_arm64.deb 30-Aug-2023 23:39 712518 hasktags_0.71.2.orig.tar.gz 30-Aug-2023 23:39 58919 hasktags_0.72.0-2.debian.tar.xz 06-Jan-2024 00:13 3692 hasktags_0.72.0-2.dsc 06-Jan-2024 00:13 2382 hasktags_0.72.0-2_arm64.deb 06-Jan-2024 00:13 2030706 hasktags_0.72.0.orig.tar.gz 16-Dec-2023 01:04 59000