TIMESTAMP = 1627789406
SHA256 (scip-7.0.3.tgz) = 9cb008271497b8f7587f404f968d1ca9d0126d6192b3946f47bb73d19ac8ed0a
SIZE (scip-7.0.3.tgz) = 10240528