tools: gmp: Update to 6.1.2
authorDaniel Engberg <[email protected]>
Mon, 2 Jan 2017 20:17:02 +0000 (21:17 +0100)
committerJo-Philipp Wich <[email protected]>
Tue, 3 Jan 2017 13:24:33 +0000 (14:24 +0100)
commitcd18ff9ed6e14019455b9f48fa663ee829f311a7
tree1e1c200fee0774787f91e3fbdfafac2d10a9221a
parent0050b39fd498a4643bf2e020062f2516a18122e5
tools: gmp: Update to 6.1.2

Updates GMP to 6.1.2

Signed-off-by: Daniel Engberg <[email protected]>
tools/gmp/Makefile