Ask Slashdot: When and How To Deal With GPL Violations?
jd writes "There are many pieces of software out there, such as seL4 (kindly brought to my attention by another reader), where the vendor has indeed engineered something that they're entitled to Close Source, but where their closed-source license includes the modifications to GPLed software such as the Linux kernel. Then there's a second type of behavior. Code Sourcery produced two versions of their VSIPL++ image processing library — one closed-source, one GPLed. It was extremely decent of them. When Mentor Graphics bought Code Sourcery, they continued developing the closed-course one and discontinued, then deleted, the GPL variant. It's unclear to me if that's kosher, as the closed variant must contain code that had been GPLed at one point. Here's the problem: complaining too much will mean we get code now that maybe four or five people, tops, will actually care about. It will also make corporations leery of any other such work in future, where that work will be of greater value to a greater number of people. So, the question I want to ask is this: When is it a good time to complain? By what rule-of-thumb might you decide that one violation is worth cracking down on, and another should be let go to help encourage work we're never going to do ourselves?"
Code Sourcery produced two versions of their VSIPL++ image processing library — one closed-source, one GPLed. It was extremely decent of them. When Mentor Graphics bought Code Sourcery, they continued developing the closed-course one and discontinued, then deleted, the GPL variant. It's unclear to me if that's kosher, as the closed variant must contain code that had been GPLed at one point.
It's their code so they are free to decide. It doesn't matter if they once also GPL'd it - the owner still retains copyright. Bitching about that will just mean no company ever will provide both closed and open source versions. You are not magically entitled to them.
If they've released the code under GPL and you still have a copy of it, you're entitled to do what you want with it, up to and including rebranding it and maintaining it as a GPL product for the future. The GPL granted you permissions to do certain things (copy, change, distribute the code) under certain conditions (you had to provide source code if requested). As far as I'm aware, they can't revoke those rights unless you break the other conditions; see Open Office/Libre Office for a similar situation.