diff options
Diffstat (limited to 'Makefile')
-rwxr-xr-x | Makefile | 4 |
1 files changed, 2 insertions, 2 deletions
@@ -53,8 +53,8 @@ VERSION_GCC = 7.2.0 VERSION_MINGW = 5.0.2 VERSION_GMP = 6.1.2 VERSION_MPC = 1.0.2 -VERSION_ISL = 0.16.1 -VERSION_MPFR = 3.1.5 +VERSION_ISL = 0.18 +VERSION_MPFR = 3.1.6 VERSION_GDB = 8.0.1 VERSION_BZ2 = 1.0.6 VERSION_ZLIB = 1.2.11 |