../ 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_amd64.deb 05-Mar-2026 00:14 40892892 herdtools7_7.58-1_amd64v3.deb 05-Mar-2026 00:14 40898304 herdtools7_7.58.orig.tar.gz 04-Mar-2026 19:23 1600124