SHA256 (taucs.tgz) = fc13dae767db5e9035b1ce63036a16d3a260aad784f461e073f1150a078a77e4
SIZE (taucs.tgz) = 1573863