diff options
author | Kyle Schwarz <zeranoe@gmail.com> | 2018-08-14 14:48:15 -0400 |
---|---|---|
committer | Kyle Schwarz <zeranoe@gmail.com> | 2018-08-14 14:48:15 -0400 |
commit | e99b3280f3fbc36dfe1af3de24cd6a81240b541e (patch) | |
tree | 4621d656a2a0627e175a7a18d2372823f75dc6e4 | |
parent | 86dd9dff22bf15f51da207449f50c4ea45fb4be6 (diff) |
Update ISL version on README.md
-rw-r--r-- | README.md | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -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. |