TIMESTAMP = 1505409456
SHA256 (CGAL-4.10.1.tar.xz) = 2baef1f4cca90dc82851267c36f8632bd6b39e8a5d15c23f1d78b4172d36d743
SIZE (CGAL-4.10.1.tar.xz) = 14254012