Index of /pub/linux/debian/pool/main/h/herdtools7/

Filename	Modification time	Size
herdtools7_7.58-1+b1_amd64.deb	2026-02-26 20:03 CET	37 MiB
herdtools7_7.58-1.debian.tar.xz	2026-02-04 00:18 CET	9828 B
herdtools7_7.58-1.dsc	2026-02-04 00:18 CET	1854 B
herdtools7_7.58-1_amd64.deb	2026-02-04 00:18 CET	37 MiB
herdtools7_7.58-1_arm64.deb	2026-02-26 04:15 CET	44 MiB
herdtools7_7.58-1_ppc64el.deb	2026-02-26 04:15 CET	38 MiB
herdtools7_7.58-1_riscv64.deb	2026-02-26 17:56 CET	38 MiB
herdtools7_7.58-1_s390x.deb	2026-02-26 04:30 CET	38 MiB
herdtools7_7.58.orig.tar.gz	2026-02-04 00:18 CET	1563 KiB