../ hasktags_0.71.2-1_arm64.deb 03-Oct-2018 21:57 640800 hasktags_0.71.2-1_armhf.deb 04-Oct-2018 02:00 591784 hasktags_0.71.2-2_arm64.deb 01-Sep-2020 11:29 622972 hasktags_0.71.2-2_armhf.deb 01-Sep-2020 11:29 587096 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_arm64.deb 05-Oct-2024 20:52 2514768 hasktags_0.73.0-1_armhf.deb 05-Oct-2024 22:43 3688236