-DIST CGAL-3.9-doc_html.tar.xz 17943040 RMD160 d7ad3d7e1ed0a3a21ff2c5a326a3f40c95ef5fae SHA1 47fbb255f117075634b885c1ab9dce1e83639ac9 SHA256 5f22c62365540a036fa66e18a3abe55fc4f5cb36a60717711c54029c032f8120
-DIST CGAL-3.9.tar.xz 9853500 RMD160 0340837bb57824dbf08361e25bfbb91bd01a1668 SHA1 48bff87ab26e013b583ee34f021a6025c4b81cdf SHA256 a5d50f3788b1acd34a20ef84c071f8eb66eeacc5e12760292d6f7c0ff041022c
+DIST CGAL-4.0-doc_html.tar.xz 18465688 RMD160 1c8fbf803e6d9b6bc858c8e4e08d5beabc9a1ba7 SHA1 66bbf2626c8b9a5a48cea68b389f2205dce39406 SHA256 247501ba4fdcaf459ceb3066f79a9cba8cae27d7b5ddd622b3409f20a8e9a244
+DIST CGAL-4.0.tar.xz 9875796 RMD160 655b425335da05537f208b8d4e3a00bcad0f6dd2 SHA1 d1f3f328bc5cb026ddb825cb585c7ae27a8856f7 SHA256 a64f0d4b387b9db4cb76410776b93b4c6c86d1b0c5d049ed00386951ca72a5f3