TIMESTAMP = 1587799941
SHA256 (cvxopt-cvxopt-1.2.5_GH0.tar.gz) = 80f8001f24a12a5ee3a4a43281145e0e51a1ceca681657ff40eebe1d6c967250
SIZE (cvxopt-cvxopt-1.2.5_GH0.tar.gz) = 6742389
