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

 Name                            Last modified      Size  Description
 Parent Directory                                     -   
 herdtools7_7.58-1+b1_amd64.deb  2026-02-26 16:03   37M  
 herdtools7_7.58-1.debian.tar.xz 2026-02-03 20:18  9.6K  
 herdtools7_7.58-1.dsc           2026-02-03 20:18  1.8K  
 herdtools7_7.58-1_arm64.deb     2026-02-26 00:15   44M  
 herdtools7_7.58-1_ppc64el.deb   2026-02-26 00:15   38M  
 herdtools7_7.58-1_riscv64.deb   2026-02-26 13:56   38M  
 herdtools7_7.58-1_s390x.deb     2026-02-26 00:30   38M  
 herdtools7_7.58.orig.tar.gz     2026-02-03 20:18  1.5M