../ hasktags_0.71.2-1build3_riscv64.deb 15-Aug-2023 08:15 2540124 hasktags_0.72.0-ok1_amd64.deb 29-Sep-2024 09:14 1779338 hasktags_0.72.0-ok1_arm64.deb 09-Oct-2024 09:52 1756482 hasktags_0.72.0-ok1_loong64.deb 31-Oct-2024 10:12 2185732