Re: [GiNaC-devel] about "official" repositories