Re: [GiNaC-list] previous release archive