../ hasktags_0.72.0-2.debian.tar.xz 05-Jan-2024 05:44 3692 hasktags_0.72.0-2.dsc 05-Jan-2024 05:44 2382 hasktags_0.72.0-2_riscv64.deb 21-Aug-2024 14:34 3M hasktags_0.72.0.orig.tar.gz 20-Jul-2022 23:19 58K hasktags_0.73.0-1.debian.tar.xz 31-Oct-2024 17:09 3904 hasktags_0.73.0-1.dsc 31-Oct-2024 17:09 2252 hasktags_0.73.0-1_riscv64.deb 18-Jun-2025 13:59 4M hasktags_0.73.0.orig.tar.gz 31-Oct-2024 17:09 58K