Skip to content

Update gmp to 6.3.0

Cheng Shao requested to merge bump-6.3.0 into master

This patch updates gmp to 6.3.0, removes patches that are already applied upstream, and tidies up the build-nodoc-tarball script. The in-tree tarball is now in the more efficient .xz format, hadrian support will come in the same GHC patch that bumps gmp-tarballs.

Merge request reports