/libsemigroups-*.tar.gz