TIMESTAMP = 1531797363 SHA256 (CGAL-4.11.2.tar.xz) = a848f62968f545d46fd9b38f513983c04d3cc22eb59564ed4b3866d8626e7551 SIZE (CGAL-4.11.2.tar.xz) = 14647620