TIMESTAMP = 1747641361
SHA256 (CGAL-5.6.2.tar.xz) = 458f60df8e8f1f2fdad93c8f24e1aa8f4b095cc61a14fac81b90680d7306a42e
SIZE (CGAL-5.6.2.tar.xz) = 24489156