TIMESTAMP = 1645600598
SHA256 (solvers-64919f75f.tgz) = e212926d1d797701adc901ef18eaab6b15edd13f9281dd8c9266e3cdaf8c2dd3
SIZE (solvers-64919f75f.tgz) = 360043
SHA256 (coin-or-tools-ThirdParty-ASL-releases-2.0.0_GH0.tar.gz) = b617b6d46a2722189dedef7c8013f7e21ebe677fe34cc6b62fabb1639fd3a96d
SIZE (coin-or-tools-ThirdParty-ASL-releases-2.0.0_GH0.tar.gz) = 247662