Also, I don't see how it is a GPL violation. Nobody says you have to distribute binaries if you distribute source, and the old source is still available.
Also, I don't see how it is a GPL violation. Nobody says you have to distribute binaries if you distribute source, and the old source is still available.