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

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