Re: [GiNaC-devel] [GiNaC-list] GiNaC Licensing.