TIMESTAMP = 1549749237
SHA256 (cvxopt-cvxopt-1.2.3_GH0.tar.gz) = 9a117022984586ecc86ab643da74fcab2411b9c43a26f1b9a9d0bd9ed26728ce
SIZE (cvxopt-cvxopt-1.2.3_GH0.tar.gz) = 1890621