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

directories: 0, files: 8

NameLast modifiedSize
../
herdtools7_7.58.orig.tar.gz2026-02-04 00:18:551.53 MiB
herdtools7_7.58-1_s390x.deb2026-02-26 04:30:3438.44 MiB
herdtools7_7.58-1_riscv64.deb2026-02-26 17:56:1538.45 MiB
herdtools7_7.58-1_ppc64el.deb2026-02-26 04:15:2137.78 MiB
herdtools7_7.58-1_arm64.deb2026-02-26 04:15:2243.96 MiB
herdtools7_7.58-1.dsc2026-02-04 00:18:551.81 KiB
herdtools7_7.58-1.debian.tar.xz2026-02-04 00:18:559.60 KiB
herdtools7_7.58-1+b1_amd64.deb2026-02-26 20:03:2836.96 MiB