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