[GiNaC-devel] [PATCH] build scripts: drop ginac-config and ginac.m4, use pkg-config instead. [ginac-1.3]