TIMESTAMP = 1620069173
SHA256 (solvers-64919f75f.tgz) = e212926d1d797701adc901ef18eaab6b15edd13f9281dd8c9266e3cdaf8c2dd3
SIZE (solvers-64919f75f.tgz) = 360043
SHA256 (coin-or-tools-ThirdParty-ASL-releases-1.4.3_GH0.tar.gz) = 0a4cfa7c6c5df72d8e1c4c3ce74633421f807115a679e85cb5569c41df9a9aaf
SIZE (coin-or-tools-ThirdParty-ASL-releases-1.4.3_GH0.tar.gz) = 254263