diff options
| author | Hannu Nyman <hannu.nyman@iki.fi> | 2020-01-25 11:24:38 +0200 |
|---|---|---|
| committer | Hans Dedecker <dedeckeh@gmail.com> | 2020-01-25 22:07:32 +0100 |
| commit | b77ce0c7209ee26aed271f894ac1580dce45db0c (patch) | |
| tree | 81ffab72f03dcf93bccbb165bc5eab5ed4c491d2 /tools/patch | |
| parent | 2dc0a8c18080a7e447e9b41b037ce9635665e809 (diff) | |
| download | upstream-b77ce0c7209ee26aed271f894ac1580dce45db0c.tar.gz upstream-b77ce0c7209ee26aed271f894ac1580dce45db0c.tar.bz2 upstream-b77ce0c7209ee26aed271f894ac1580dce45db0c.zip | |
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>
Diffstat (limited to 'tools/patch')
0 files changed, 0 insertions, 0 deletions