From 5b36c6a52fa35e43ba60d4fb3f733b643a012229 Mon Sep 17 00:00:00 2001 From: Kyle Schwarz Date: Thu, 18 Apr 2019 17:20:00 -0400 Subject: Update ISL to 0.21 --- README.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'README.md') diff --git a/README.md b/README.md index 77a16a6..38f1c42 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.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. -- cgit v1.2.3