TIMESTAMP = 1714459801
SHA256 (casadi-casadi-3.6.5_GH0.tar.gz) = fb669c3dfac4c9a6872c4016961dcf4dd8879cf4448253a4aa1b5251652b360e
SIZE (casadi-casadi-3.6.5_GH0.tar.gz) = 3733588
