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

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