[GiNaC-devel] [SCM] GiNaC -- a C++ library for symbolic computations branch, c++11, updated. release_1-4-0-477-g9cd8ed6