MD5 (taucs.tgz) = ebb43f628c0d3c36873d8a4ec9a31888