Re: [GiNaC-devel] GiNaC 1.3.3 release]