Processed: Re: Bug#741196: libpetsc3.4.2: libpetsc.so.3.4.2 links with both GPL-licensed and GPL-incompatible libraries
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 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 Contact ow...@bugs.debian.org with problems -- To UNSUBSCRIBE, email to debian-bugs-rc-requ...@lists.debian.org with a subject of unsubscribe. Trouble? Contact listmas...@lists.debian.org
Bug#741196: libpetsc3.4.2: libpetsc.so.3.4.2 links with both GPL-licensed and GPL-incompatible libraries
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 with that. That is the prerogative of maintainer to set the bug`s severity (package is team-maintained). Please have some patience and wait for an answer from FTP-masters. Anton -- To UNSUBSCRIBE, email to debian-bugs-rc-requ...@lists.debian.org with a subject of unsubscribe. Trouble? Contact listmas...@lists.debian.org
Processed: Re: Bug#741196: libpetsc3.4.2: libpetsc.so.3.4.2 links with both GPL-licensed and GPL-incompatible libraries
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] libpetsc3.4.2: libpetsc.so.3.4.2 links with both GPL-licensed and GPL-incompatible libraries Added tag(s) moreinfo. thanks Stopping processing here. Please contact me if you need assistance. -- 741196: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=741196 Debian Bug Tracking System Contact ow...@bugs.debian.org with problems -- To UNSUBSCRIBE, email to debian-bugs-rc-requ...@lists.debian.org with a subject of unsubscribe. Trouble? Contact listmas...@lists.debian.org
Bug#741196: libpetsc3.4.2: libpetsc.so.3.4.2 links with both GPL-licensed and GPL-incompatible libraries
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, please see the almost identical bug #740463 for some further details about the SCOTCH licensing issues. I hope this clarifies. From what I understand CeCILL-C is intended to be more permissive than plain CeCILL, which itself is explicitly GPL-compatible. So not really. Regardless of what the license is *intended* to be, CeCILL-C in fact includes restrictions not present in the GNU GPL and has no explicit conversion-to-GPL clause, unlike the CeCILL license. As a consequence, CeCILL-C really appears to be GPL-incompatible, unfortunately... Anyway, thanks for following up on this bug report of mine. And thanks for any help you may provide to fix the issue! Since I disagree, I'd like you to get that confirmed in an authoritative statement from ftpmaster. In the meantime, I'll downgrade this bug. Cheers, Julien -- Julien Cristau julien.cris...@logilab.fr Logilab http://www.logilab.fr/ Informatique scientifique gestion de connaissances -- To UNSUBSCRIBE, email to debian-bugs-rc-requ...@lists.debian.org with a subject of unsubscribe. Trouble? Contact listmas...@lists.debian.org
Processed: Re: Bug#741196: libpetsc3.4.2: libpetsc.so.3.4.2 links with both GPL-licensed and GPL-incompatible libraries
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 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 ow...@bugs.debian.org with problems -- To UNSUBSCRIBE, email to debian-bugs-rc-requ...@lists.debian.org with a subject of unsubscribe. Trouble? Contact listmas...@lists.debian.org
Bug#741196: libpetsc3.4.2: libpetsc.so.3.4.2 links with both GPL-licensed and GPL-incompatible libraries
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 incompatibility? Cheers, Julien -- Julien Cristau julien.cris...@logilab.fr Logilab http://www.logilab.fr/ Informatique scientifique gestion de connaissances -- To UNSUBSCRIBE, email to debian-bugs-rc-requ...@lists.debian.org with a subject of unsubscribe. Trouble? Contact listmas...@lists.debian.org
Processed: Re: Bug#741196: libpetsc3.4.2: libpetsc.so.3.4.2 links with both GPL-licensed and GPL-incompatible libraries
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 ow...@bugs.debian.org with problems -- To UNSUBSCRIBE, email to debian-bugs-rc-requ...@lists.debian.org with a subject of unsubscribe. Trouble? Contact listmas...@lists.debian.org
Processed: Re: Bug#741196: libpetsc3.4.2: libpetsc.so.3.4.2 links with both GPL-licensed and GPL-incompatible libraries
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: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=741196 Debian Bug Tracking System Contact ow...@bugs.debian.org with problems -- To UNSUBSCRIBE, email to debian-bugs-rc-requ...@lists.debian.org with a subject of unsubscribe. Trouble? Contact listmas...@lists.debian.org
Processed: Re: Bug#741196: libpetsc3.4.2: libpetsc.so.3.4.2 links with both GPL-licensed and GPL-incompatible libraries
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 Contact ow...@bugs.debian.org with problems -- To UNSUBSCRIBE, email to debian-bugs-rc-requ...@lists.debian.org with a subject of unsubscribe. Trouble? Contact listmas...@lists.debian.org
Bug#741196: libpetsc3.4.2: libpetsc.so.3.4.2 links with both GPL-licensed and GPL-incompatible libraries
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 v1.0 license Do you have a reference for this claimed incompatibility? 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 clarifies. -- http://www.inventati.org/frx/frx-gpg-key-transition-2010.txt New GnuPG key, see the transition document! . Francesco Poli . GnuPG key fpr == CA01 1147 9CD2 EFDF FB82 3925 3E1C 27E1 1F69 BFFE pgpFQXJVJ8ZTV.pgp Description: PGP signature
Bug#741196: libpetsc3.4.2: libpetsc.so.3.4.2 links with both GPL-licensed and GPL-incompatible libraries
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, which are released under the GPL-incompatible terms of the CeCILL-C v1.0 license Do you have a reference for this claimed incompatibility? 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 clarifies. From what I understand CeCILL-C is intended to be more permissive than plain CeCILL, which itself is explicitly GPL-compatible. So not really. Cheers, Julien -- Julien Cristau julien.cris...@logilab.fr Logilab http://www.logilab.fr/ Informatique scientifique gestion de connaissances -- To UNSUBSCRIBE, email to debian-bugs-rc-requ...@lists.debian.org with a subject of unsubscribe. Trouble? Contact listmas...@lists.debian.org
Bug#741196: libpetsc3.4.2: libpetsc.so.3.4.2 links with both GPL-licensed and GPL-incompatible libraries
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 clarifies. From what I understand CeCILL-C is intended to be more permissive than plain CeCILL, which itself is explicitly GPL-compatible. So not really. Regardless of what the license is *intended* to be, CeCILL-C in fact includes restrictions not present in the GNU GPL and has no explicit conversion-to-GPL clause, unlike the CeCILL license. As a consequence, CeCILL-C really appears to be GPL-incompatible, unfortunately... Anyway, thanks for following up on this bug report of mine. And thanks for any help you may provide to fix the issue! Bye. -- http://www.inventati.org/frx/frx-gpg-key-transition-2010.txt New GnuPG key, see the transition document! . Francesco Poli . GnuPG key fpr == CA01 1147 9CD2 EFDF FB82 3925 3E1C 27E1 1F69 BFFE pgpcCuplc97Wb.pgp Description: PGP signature
Bug#741196: libpetsc3.4.2: libpetsc.so.3.4.2 links with both GPL-licensed and GPL-incompatible libraries
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 later
= libcholmod.so.2.1.2, which has parts under the GNU GPL v2 or later
= libptscotch-5.1.so and libptscotcherr-5.1.so, which are released
under the GPL-incompatible terms of the CeCILL-C v1.0 license
This seems to mean that package libpetsc3.4.2 includes a file which
links with both GPL-licensed and GPL-incompatible libraries.
Please refer to the almost identical bug #740463 for some further
details about the SCOTCH licensing issues.
I think the possible solutions to the issue for petsc are, in
descending order of desirability:
(A) SCOTCH copyright holders should be contacted and persuaded to
re-license (or dual-license) it under GPLv2-or-later-compatible terms
(B) SCOTCH should be substituted with a GPLv2-or-later-compatible
replacement, if any is available (METIS seems to be at least
GPLv3-or-later-compatible, see https://bugs.debian.org/740463#15 )
(C) GPL-licensed library (such as UMFPACK and CHOLMOD) copyright
holders should be asked to relax the copyleft (for instance by switching
to the LGPL v2.1) or add license exceptions that give permission to link
their works with code released under CeCILL-C v1.0
As stated in other bug reports, the best solution is (A). Thus, I renew
my call for help to push in the direction of {re|dual}-licensing SCOTCH
under the GNU LGPL v2.1: please see https://bugs.debian.org/740463#5
for the details.
Thanks for your time!
--
To UNSUBSCRIBE, email to debian-bugs-rc-requ...@lists.debian.org
with a subject of unsubscribe. Trouble? Contact listmas...@lists.debian.org
