TIMESTAMP = 1691647445
SHA256 (scip-8.0.4.tgz) = 4cdd13b812ecd6470c4baab60671b8eeddb405da9b7f0d5449c8b39fe8873081
SIZE (scip-8.0.4.tgz) = 9537602
