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

 Name                            Last modified      Size  
 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-1_amd64.deb     2026-02-03 23:18   37M  
 herdtools7_7.58-1_arm64.deb     2026-02-26 03:15   44M  
 herdtools7_7.58-1_ppc64el.deb   2026-02-26 03:15   38M  
 herdtools7_7.58-1_s390x.deb     2026-02-26 03:30   38M  
 herdtools7_7.58.orig.tar.gz     2026-02-03 23:18  1.5M