diff options
author | Kyle Schwarz <zeranoe@gmail.com> | 2019-04-18 17:20:00 -0400 |
---|---|---|
committer | Kyle Schwarz <zeranoe@gmail.com> | 2019-04-18 17:20:00 -0400 |
commit | 5b36c6a52fa35e43ba60d4fb3f733b643a012229 (patch) | |
tree | 12fb426cc4fda11f2f379635fcf45189566205fd /README.md | |
parent | 7dc0f7832c9d45408f2b8cb609321f3624e31149 (diff) |
Update ISL to 0.21
Diffstat (limited to '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.2 * [MPC](http://www.multiprecision.org/mpc/) 1.1.0 -* [isl](http://isl.gforge.inria.fr/) 0.20 +* [isl](http://isl.gforge.inria.fr/) 0.21 ## Platforms mingw-w64-build should run on Ubuntu, Cygwin, macOS (with Homebrew), and other Bash based shells. |