TIMESTAMP = 1792905073
SHA256 (scipopt-zimpl-v3.8.0_GH0.tar.gz) = eccb653ea69eff1f584c0d2b3b686c7b4fce9780c1bec16577dbe68bc70d9f18
SIZE (scipopt-zimpl-v3.8.0_GH0.tar.gz) = 5281162
