diff options
Diffstat (limited to 'libs/gmp/DETAILS')
-rwxr-xr-x | libs/gmp/DETAILS | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/libs/gmp/DETAILS b/libs/gmp/DETAILS index 3e50691cf4..8fa6c9294a 100755 --- a/libs/gmp/DETAILS +++ b/libs/gmp/DETAILS @@ -1,6 +1,6 @@ SPELL=gmp if [[ $GMP_DEVEL == "y" ]]; then - VERSION=5.0.5 + VERSION=5.1.1 else VERSION=4.3.2 PATCHLEVEL=0 |