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