New package: polyml-5.5.2