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