TIMESTAMP = 1523167855
SHA256 (CGAL-4.11.1.tar.xz) = fb152fc30f007e5911922913f8dc38e0bb969b534373ca0fbe85b4d872300e8b
SIZE (CGAL-4.11.1.tar.xz) = 14650588
