TIMESTAMP = 1736711885
SHA256 (casadi-casadi-3.6.7_GH0.tar.gz) = 47602bab2aa187bfa8280cc4fa7d68ee19abbbdfeb90991e9eb3dd88465fd18b
SIZE (casadi-casadi-3.6.7_GH0.tar.gz) = 3786659
