tools/gmp: update to 6.2.0
authorHannu Nyman <hannu.nyman@iki.fi>
Sat, 25 Jan 2020 09:24:38 +0000 (11:24 +0200)
committerHans Dedecker <dedeckeh@gmail.com>
Sat, 25 Jan 2020 21:07:32 +0000 (22:07 +0100)
commitb77ce0c7209ee26aed271f894ac1580dce45db0c
tree81ffab72f03dcf93bccbb165bc5eab5ed4c491d2
parent2dc0a8c18080a7e447e9b41b037ce9635665e809
tools/gmp: update to 6.2.0

Update GNU gmp to version 6.2.0

Release notes:  https://gmplib.org/gmp6.2.html

Signed-off-by: Hannu Nyman <hannu.nyman@iki.fi>
tools/gmp/Makefile