New comment by ericonr on void-packages repository https://github.com/void-linux/void-packages/pull/30011#issuecomment-813372439 Comment: Ok, so the difference in that PR is that it's also updating cgal, which has other dependants and looks to be somewhat complicated. It looks like openscad can be updated and still use old cgal, so I think we should do that; then the other PR can just revbump it along with other packages. @karl-nilsson are you ok with that?