TIMESTAMP = 1650395193
SHA256 (ERGO-Code-HiGHS-v1.2.2_GH0.tar.gz) = e849276134eb0e7d876be655ff5fe3aa6ecf1030d605edee760620469f9e97cf
SIZE (ERGO-Code-HiGHS-v1.2.2_GH0.tar.gz) = 1809648
SHA256 (616280ac3f2a894cfcd138a9883a7e0df6355187.patch) = cf5c12bbc79960277dbc69fc5e29f268b81fdd10f717e668699a3f39f1fd8d6a
SIZE (616280ac3f2a894cfcd138a9883a7e0df6355187.patch) = 1000