[GiNaC-devel] GiNaC 1.3.4 released