TIMESTAMP = 1583611310
SHA256 (ADOL-C-2.7.2.tgz) = 902b98e39fdc44b2eb3deaa2e5b7e5d998b7c189e074db88d068e690b65782c3
SIZE (ADOL-C-2.7.2.tgz) = 2477709