[GiNaC-devel] [SCM] GiNaC -- a C++ library for symbolic computations branch, c++11, created. release_1-4-0-472-ge935014