Re: [GiNaC-devel] Release GiNaC 1.5.4