[GiNaC-devel] GiNaC 1.8.8 released