MD5 (Gauche-0.8.8.tgz) = ed12c4e28ec36f68629843c4e8725ccc
SHA256 (Gauche-0.8.8.tgz) = 508834bd84a4c5446d6c8d7606246debea5bc88a8b6a06ee6c42f4f93d07cf11
SIZE (Gauche-0.8.8.tgz) = 3022297