../ 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 51008594 herdtools7_7.58-1_ppc64el.deb 05-Mar-2026 00:14 44084576 herdtools7_7.58-1_riscv64.deb 05-Mar-2026 00:14 44892346 herdtools7_7.58-1_s390x.deb 05-Mar-2026 00:14 44662694 herdtools7_7.58.orig.tar.gz 04-Mar-2026 19:23 1600124