[GiNaC-list] GiNaC 1.3.4 released