[GiNaC-devel] [PATCH] ginac.pc: fix library dependency info