TIMESTAMP = 1571372865
SHA256 (casadi-casadi-3.5.1_GH0.tar.gz) = 73eb096837bee2d1bbdfb8565f07c4a9d62b30cf831ad1ce3196df1f1770ae4d
SIZE (casadi-casadi-3.5.1_GH0.tar.gz) = 3643951