../ hasktags_0.72.0-1_arm64.deb 20-Jul-2022 10:57 1804972 hasktags_0.72.0-1_armel.deb 20-Jul-2022 10:27 1933952 hasktags_0.72.0-1_armhf.deb 20-Jul-2022 09:41 1956044