TIMESTAMP = 1722831917
SHA256 (casadi-casadi-3.6.6_GH0.tar.gz) = e8b2eb594cdca56b2731be29b5accc2a7390725976d4aa944ac99de78aacac6b
SIZE (casadi-casadi-3.6.6_GH0.tar.gz) = 3780088
