[GiNaC-devel] [PATCH 3/3] [docs] Update the supported platforms/compilers list.