Re: [GiNaC-list] patch: put ginac.pc into libginac-dev