../ herdtools7_7.58-1.debian.tar.xz 04-Mar-2026 19:23 9828 herdtools7_7.58-1.dsc 04-Mar-2026 19:23 1854 herdtools7_7.58-1_arm64.deb 05-Mar-2026 00:14 49M herdtools7_7.58-1_ppc64el.deb 05-Mar-2026 00:14 42M herdtools7_7.58-1_riscv64.deb 05-Mar-2026 00:14 43M herdtools7_7.58-1_s390x.deb 05-Mar-2026 00:14 43M herdtools7_7.58.orig.tar.gz 04-Mar-2026 19:23 2M