Index of /sites/ftp.debian.org/debian/pool/main/h/herdtools7/

../
herdtools7_7.58-1.debian.tar.xz                    03-Feb-2026 23:18                9828
herdtools7_7.58-1.dsc                              03-Feb-2026 23:18                1854
herdtools7_7.58-1_amd64.deb                        03-Feb-2026 23:18            38741404
herdtools7_7.58-1_arm64.deb                        26-Feb-2026 03:15            46097864
herdtools7_7.58-1_ppc64el.deb                      26-Feb-2026 03:15            39613892
herdtools7_7.58-1_s390x.deb                        26-Feb-2026 03:30            40309788
herdtools7_7.58.orig.tar.gz                        03-Feb-2026 23:18             1600124