1 files changed, 2 insertions, 2 deletions
diff --git a/Makefile b/Makefile
index aac5318..0bc1188 100755
--- a/Makefile
+++ b/Makefile
@@ -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