Re: [GiNaC-devel] GiNaC 1.8.5 released