[GiNaC-list] Oops! Forgot to put some files into the debian/* patch.

[Jens Vollinga]

Hello Alexei,

On Fri, Jul 08, 2005 at 03:23:01PM +0400, Sheplyakov Alexei wrote:
> I've just noticed that *.install files from debian directory are
> missing (that's my fault, I've forgotten to put these files to right
> place before diff'ing). Could you please apply the following patch?

yup, now there are in, too. Thanks.

Regards,
Jens