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

Icon  Name                                               Last modified      Size  Description
[PARENTDIR] Parent Directory                                                        -   
[   ] herdtools7_7.58-1.debian.tar.xz                    2026-02-04 00:18  9.6K  
[TXT] herdtools7_7.58-1.dsc                              2026-02-04 00:18  1.8K  
[   ] herdtools7_7.58-1_amd64.deb                        2026-02-04 00:18   37M  
[   ] herdtools7_7.58-1_arm64.deb                        2026-02-26 04:15   44M  
[   ] herdtools7_7.58-1_ppc64el.deb                      2026-02-26 04:15   38M  
[   ] herdtools7_7.58-1_s390x.deb                        2026-02-26 04:30   38M  
[   ] herdtools7_7.58.orig.tar.gz                        2026-02-04 00:18  1.5M
Apache/2.4.65 (Debian) Server at mirror.schubert.si Port 443