--- rpl/ChangeLog 2019/10/31 13:24:57 1.305 +++ rpl/ChangeLog 2019/11/01 09:58:18 1.306 @@ -1,3 +1,5 @@ +* Thu Oct 31 2019 BERTRAND Joël rpl-4.1.32 (RPL/2) +- giac is patched to be built with builtin CoCoALib. * Thu Oct 31 2019 BERTRAND Joël rpl-4.1.31 (RPL/2) - RPL/CAS is modified to be built without error by gcc 9.2; - /tools are upgraded;