../ hasktags_0.72.0-1_amd64.deb 20-Jul-2022 16:42 525220 hasktags_0.72.0-1_arm64.deb 20-Jul-2022 17:57 1804972 hasktags_0.72.0-1_armhf.deb 20-Jul-2022 16:41 1956044 hasktags_0.73.0-1+b1_amd64.deb 02-Feb-2025 10:44 2543676 hasktags_0.73.0-1+b1_armhf.deb 18-Feb-2025 10:44 3682424 hasktags_0.73.0-1_arm64.deb 06-Oct-2024 09:44 2514768