Clique no link z3.tar.gz para baixar o arquivo.