X-Git-Url: https://www.ginac.de/ginac.git//ginac.git?p=ginac.git;a=blobdiff_plain;f=INSTALL;h=1494739301671be686b566eab4c6110d91f80980;hp=aee07da74f0abe5517a6b1d5808b8e89d47a8d7b;hb=ce4857b36a6999286b9425469f761dc15dac8794;hpb=dc99ad9cf2df9460d5d7e1cf96ccdd5f4055b798

diff --git a/INSTALL b/INSTALL
index aee07da7..14947393 100644
--- a/INSTALL
+++ b/INSTALL
@@ -61,7 +61,7 @@ step:         | GCC optimization level:  | comment:
               |  -O0   |  -O1   |  -O2   |
 --------------+--------+--------+--------+-------------------------------
 make          |  ~4m   |  ~6m   |  ~10m  | building shared and static lib
-make check    |  ~2m   |  ~2m   |  ~7m   | mostly due to compilation
+make check    |  ~3m   |  ~3m   |  ~7m   | mostly due to compilation
 
 
 COMMON PROBLEMS
@@ -108,5 +108,5 @@ Good luck!
 
   Known to work with:  |  Known not to work with:
 -----------------------+----------------------------
-  Cint 5.14.25         |  Cint 5.14.24
-  Cint 5.14.26         |  Cint 5.14.29
+  Cint 5.14.31         |  Cint before 5.14.29
+