[GiNaC-devel] GiNaC release 1.4.0