/semigroups-*.tar.gz