+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