TIMESTAMP = 1524038384
SHA256 (cvxopt-cvxopt-1.2.0_GH0.tar.gz) = c1d38a43142dd72bde229c243276defda311020ebaf5eb47d2920377cd114817
SIZE (cvxopt-cvxopt-1.2.0_GH0.tar.gz) = 1876619
