TIMESTAMP = 1552005187
SHA256 (CGAL-4.13.tar.xz) = 3e3dd7a64febda58be54c3cbeba329ab6a73b72d4d7647ba4931ecd1fad0e3bc
SIZE (CGAL-4.13.tar.xz) = 15367120