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

 Name                                   Last modified      Size  Description
 Parent Directory                                            -   
 herdtools7_7.58-1.debian.tar.xz        2026-02-03 23:18  9.6K  
 herdtools7_7.58-1.dsc                  2026-02-03 23:18  1.8K  
 herdtools7_7.58-2.debian.tar.xz        2026-08-27 21:52  9.9K  
 herdtools7_7.58-2.dsc                  2026-08-27 21:52  1.8K  
 herdtools7_7.58-2_amd64.deb            2026-08-27 22:22   37M  
 herdtools7_7.58-2_arm64.deb            2026-08-27 22:17   44M  
 herdtools7_7.58-2_ppc64el.deb          2026-08-27 22:17   38M  
 herdtools7_7.58-2_riscv64.deb          2026-08-28 06:32   39M  
 herdtools7_7.58-2_s390x.deb            2026-08-27 22:17   39M  
 herdtools7_7.58.orig.tar.gz            2026-02-03 23:18  1.5M