On Fri, Jul 08, 2005 at 12:38:28PM +0200, Jens Vollinga wrote:
your patches have been put into CVS.
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? diff -Nru debian/ginac-tools.install debian.correct/ginac-tools.install --- debian/ginac-tools.install 1970-01-01 03:00:00.000000000 +0300 +++ debian.correct/ginac-tools.install 2005-07-08 15:02:05.000000000 +0400 @@ -0,0 +1,5 @@ +debian/tmp/usr/bin/ginsh +debian/tmp/usr/bin/viewgar +debian/tmp/usr/share/man/man1/ginsh* +debian/tmp/usr/share/man/man1/viewgar* +debian/ginac.xpm usr/share/pixmaps diff -Nru debian/libginac1.3.install debian.correct/libginac1.3.install --- debian/libginac1.3.install 1970-01-01 03:00:00.000000000 +0300 +++ debian.correct/libginac1.3.install 2005-07-08 15:01:51.000000000 +0400 @@ -0,0 +1 @@ +debian/tmp/usr/lib/libginac*.so.* diff -Nru debian/libginac-dev.install debian.correct/libginac-dev.install --- debian/libginac-dev.install 1970-01-01 03:00:00.000000000 +0300 +++ debian.correct/libginac-dev.install 2005-07-08 15:01:38.000000000 +0400 @@ -0,0 +1,9 @@ +debian/tmp/usr/lib/libginac.la +debian/tmp/usr/lib/libginac.a +debian/tmp/usr/lib/libginac.so +debian/tmp/usr/include/ginac/* +debian/tmp/usr/bin/ginac-config +debian/tmp/usr/share/aclocal/ginac.m4 +debian/tmp/usr/lib/pkgconfig/ginac.pc +debian/tmp/usr/share/info/ginac* +debian/tmp/usr/share/man/man1/ginac-config* Thanks, Alexei.