../ hasktags_0.72.0-1+b1_riscv64.deb 26-May-2024 14:17 1763112 hasktags_0.72.0-1.debian.tar.xz 08-May-2024 15:02 3396 hasktags_0.72.0-1.dsc 08-May-2024 15:02 2431 hasktags_0.72.0.orig.tar.gz 08-May-2024 15:02 59000