From e99b3280f3fbc36dfe1af3de24cd6a81240b541e Mon Sep 17 00:00:00 2001 From: Kyle Schwarz Date: Tue, 14 Aug 2018 14:48:15 -0400 Subject: Update ISL version on README.md --- README.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/README.md b/README.md index 0b97b72..0e10a87 100644 --- a/README.md +++ b/README.md @@ -8,7 +8,7 @@ * [GMP](https://gmplib.org/) 6.1.2 * [MPFR](http://www.mpfr.org/) 4.0.1 * [MPC](http://www.multiprecision.org/mpc/) 1.1.0 -* [isl](http://isl.gforge.inria.fr/) 0.19 +* [isl](http://isl.gforge.inria.fr/) 0.20 ## Platforms mingw-w64-build should run on Ubuntu, Cygwin, macOS (with Homebrew), and other Bash based shells. -- cgit v1.2.3