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-2_s390x.deb2026-08-28 00:17:2038.52 MiB
herdtools7_7.58-2_riscv64.deb2026-08-28 08:32:4638.58 MiB
herdtools7_7.58-2_ppc64el.deb2026-08-28 00:17:1937.83 MiB
herdtools7_7.58-2_arm64.deb2026-08-28 00:17:2244.03 MiB
herdtools7_7.58-2_amd64.deb2026-08-28 00:22:2737.09 MiB
herdtools7_7.58-2.dsc2026-08-27 23:52:141.83 KiB
herdtools7_7.58-2.debian.tar.xz2026-08-27 23:52:149.91 KiB