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

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