TIMESTAMP = 1599375680
SHA256 (casadi-casadi-3.5.5_GH0.tar.gz) = 3b26e73ceb48cd9d713e3727e4038afa0e93471f014f8aaccdd77da382e2249a
SIZE (casadi-casadi-3.5.5_GH0.tar.gz) = 3672153