TIMESTAMP = 1587453114
SHA256 (CGAL-5.0.2.tar.xz) = bb3594ba390735404f0972ece301f369b1ff12646ad25e48056b4d49c976e1fa
SIZE (CGAL-5.0.2.tar.xz) = 22147464