Re: [GiNaC-list] [PATCH] simpler debian/*