TIMESTAMP = 1681099630
SHA256 (casadi-casadi-3.6.0_GH0.tar.gz) = 87ea8c25025b0a479d3fcd20d1851197e699b6440cc8fd5e8c02a7e79f8cd19c
SIZE (casadi-casadi-3.6.0_GH0.tar.gz) = 3638738
