MD5 (Gauche-0.8.12.tgz) = 0a926fe9022512d30e324a4a1065b058
SHA256 (Gauche-0.8.12.tgz) = 02170af07853f42139e99391ab02c61e0985a765a3d75c55ae43bc23ac7994e0
SIZE (Gauche-0.8.12.tgz) = 3253476