Re: [GiNaC-list] Release GiNaC 1.5.0