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

 Name                            Last modified      Size  
 Parent Directory                                     -   
 herdtools7_7.58-2.debian.tar.xz 2026-08-28 00:52  9.9K  
 herdtools7_7.58-2.dsc           2026-08-28 00:52  1.8K  
 herdtools7_7.58-2_amd64.deb     2026-08-28 01:22   37M  
 herdtools7_7.58-2_arm64.deb     2026-08-28 01:17   44M  
 herdtools7_7.58-2_ppc64el.deb   2026-08-28 01:17   38M  
 herdtools7_7.58-2_riscv64.deb   2026-08-28 09:32   39M  
 herdtools7_7.58-2_s390x.deb     2026-08-28 01:17   39M  
 herdtools7_7.58.orig.tar.gz     2026-02-04 02:18  1.5M