MD5 (Gauche-0.8.5.tgz) = 038bb37bea77ec543e1905af8ef9e174
SIZE (Gauche-0.8.5.tgz) = 2771097