Processed: Re: Bug#741196: libpetsc3.4.2: libpetsc.so.3.4.2 links with both GPL-licensed and GPL-incompatible libraries

2014-06-21 Thread Debian Bug Tracking System
Processing control commands: severity -1 serious Bug #741196 [libpetsc3.4.2] libpetsc3.4.2: libpetsc.so.3.4.2 links with both GPL-licensed and GPL-incompatible libraries Severity set to 'serious' from 'important' tags -1 - moreinfo Bug #741196 [libpetsc3.4.2] libpetsc3.4.2: libpetsc.so.3.4.2

Bug#741196: libpetsc3.4.2: libpetsc.so.3.4.2 links with both GPL-licensed and GPL-incompatible libraries

2014-06-21 Thread Anton Gladky
severity 741196 important tags 741196 +moreinfo thanks 2014-06-21 16:34 GMT+02:00 Francesco Poli invernom...@paranoici.org: In the absence of any reply from either the FTP Masters or Julien, I am raising the severity of this bug report back to serious and removing the moreinfo tag. I disagree

Processed: Re: Bug#741196: libpetsc3.4.2: libpetsc.so.3.4.2 links with both GPL-licensed and GPL-incompatible libraries

2014-06-21 Thread Debian Bug Tracking System
Processing commands for cont...@bugs.debian.org: severity 741196 important Bug #741196 [libpetsc3.4.2] libpetsc3.4.2: libpetsc.so.3.4.2 links with both GPL-licensed and GPL-incompatible libraries Severity set to 'important' from 'serious' tags 741196 +moreinfo Bug #741196 [libpetsc3.4.2]

Bug#741196: libpetsc3.4.2: libpetsc.so.3.4.2 links with both GPL-licensed and GPL-incompatible libraries

2014-05-14 Thread Julien Cristau
Control: severity -1 important Control: tags -1 moreinfo On Wed, May 14, 2014 at 00:41:10 +0200, Francesco Poli wrote: On Tue, 13 May 2014 18:48:34 +0200 Julien Cristau wrote: On Tue, May 13, 2014 at 18:34:35 +0200, Francesco Poli wrote: [...] As already said in the original bug report,

Processed: Re: Bug#741196: libpetsc3.4.2: libpetsc.so.3.4.2 links with both GPL-licensed and GPL-incompatible libraries

2014-05-14 Thread Debian Bug Tracking System
Processing control commands: severity -1 important Bug #741196 [libpetsc3.4.2] libpetsc3.4.2: libpetsc.so.3.4.2 links with both GPL-licensed and GPL-incompatible libraries Severity set to 'important' from 'serious' tags -1 moreinfo Bug #741196 [libpetsc3.4.2] libpetsc3.4.2: libpetsc.so.3.4.2

Bug#741196: libpetsc3.4.2: libpetsc.so.3.4.2 links with both GPL-licensed and GPL-incompatible libraries

2014-05-13 Thread Julien Cristau
Control: tags -1 moreinfo On Sun, Mar 9, 2014 at 22:26:06 +0100, Francesco Poli (wintermute) wrote: = libptscotch-5.1.so and libptscotcherr-5.1.so, which are released under the GPL-incompatible terms of the CeCILL-C v1.0 license Do you have a reference for this claimed

Processed: Re: Bug#741196: libpetsc3.4.2: libpetsc.so.3.4.2 links with both GPL-licensed and GPL-incompatible libraries

2014-05-13 Thread Debian Bug Tracking System
Processing control commands: tags -1 moreinfo Bug #741196 [libpetsc3.4.2] libpetsc3.4.2: libpetsc.so.3.4.2 links with both GPL-licensed and GPL-incompatible libraries Added tag(s) moreinfo. -- 741196: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=741196 Debian Bug Tracking System Contact

Processed: Re: Bug#741196: libpetsc3.4.2: libpetsc.so.3.4.2 links with both GPL-licensed and GPL-incompatible libraries

2014-05-13 Thread Debian Bug Tracking System
Processing control commands: tags -1 moreinfo Bug #741196 [libpetsc3.4.2] libpetsc3.4.2: libpetsc.so.3.4.2 links with both GPL-licensed and GPL-incompatible libraries Ignoring request to alter tags of bug #741196 to the same tags previously set -- 741196:

Processed: Re: Bug#741196: libpetsc3.4.2: libpetsc.so.3.4.2 links with both GPL-licensed and GPL-incompatible libraries

2014-05-13 Thread Debian Bug Tracking System
Processing control commands: tags -1 - moreinfo Bug #741196 [libpetsc3.4.2] libpetsc3.4.2: libpetsc.so.3.4.2 links with both GPL-licensed and GPL-incompatible libraries Removed tag(s) moreinfo. -- 741196: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=741196 Debian Bug Tracking System

Bug#741196: libpetsc3.4.2: libpetsc.so.3.4.2 links with both GPL-licensed and GPL-incompatible libraries

2014-05-13 Thread Francesco Poli
Control: tags -1 - moreinfo On Tue, 13 May 2014 11:37:17 +0200 Julien Cristau wrote: [...] On Sun, Mar 9, 2014 at 22:26:06 +0100, Francesco Poli (wintermute) wrote: = libptscotch-5.1.so and libptscotcherr-5.1.so, which are released under the GPL-incompatible terms of the CeCILL-C

Bug#741196: libpetsc3.4.2: libpetsc.so.3.4.2 links with both GPL-licensed and GPL-incompatible libraries

2014-05-13 Thread Julien Cristau
On Tue, May 13, 2014 at 18:34:35 +0200, Francesco Poli wrote: Control: tags -1 - moreinfo On Tue, 13 May 2014 11:37:17 +0200 Julien Cristau wrote: [...] On Sun, Mar 9, 2014 at 22:26:06 +0100, Francesco Poli (wintermute) wrote: = libptscotch-5.1.so and libptscotcherr-5.1.so,

Bug#741196: libpetsc3.4.2: libpetsc.so.3.4.2 links with both GPL-licensed and GPL-incompatible libraries

2014-05-13 Thread Francesco Poli
On Tue, 13 May 2014 18:48:34 +0200 Julien Cristau wrote: On Tue, May 13, 2014 at 18:34:35 +0200, Francesco Poli wrote: [...] As already said in the original bug report, please see the almost identical bug #740463 for some further details about the SCOTCH licensing issues. I hope this

Bug#741196: libpetsc3.4.2: libpetsc.so.3.4.2 links with both GPL-licensed and GPL-incompatible libraries

2014-03-09 Thread Francesco Poli (wintermute)
Package: libpetsc3.4.2 Version: 3.4.2.dfsg1-6 Severity: serious Justification: Policy 2.3 User: debian-science-maintain...@lists.alioth.debian.org Usertags: scotch-license-issues Hello, the library /usr/lib/libpetsc.so.3.4.2 links with: = libumfpack.so.5.6.2, which is under the GNU GPL v2 or