update gmp to 6.1.2
gmp 5.1.3
all in
rmd
5.1.1
when using cpu optimizations, also set the os via build. Reported on IRC
Add gmp port as a replacement for libgmp4
This form allows you to request diffs between any two revisions of this file. For each of the two "sides" of the diff, enter a numeric revision.