TIMESTAMP = 1743399284
SHA256 (casadi-casadi-3.7.0_GH0.tar.gz) = 946b1e5d4360715d5972ac4fcbc0e5375f934f412a670b402359ee2e1ea7bb3a
SIZE (casadi-casadi-3.7.0_GH0.tar.gz) = 3896434