TIMESTAMP = 1576440314
SHA256 (Gauche-0.9.9.tgz) = 4ca9325322a7efadb9680d156eb7b53521321c9ca4955c4cbe738bc2e1d7f7fb
SIZE (Gauche-0.9.9.tgz) = 7244347