Re: [GiNaC-devel] Debian files in git repository