GNU GMP GMPbench 1.2.0

pts/gmpbench-1.2.0 - 13 October 2017 - Update against upstream libgmp 6.1.2

downloads.xml:

install.sh:

results-definition.xml:

test-definition.xml: