[Pkg-rust-maintainers] Bug#931003: Bug#931003: Removed package(s) from unstable

[Gerardo Ballabio]

Santiago Vila wrote:
> Among those packages there is even a GPL violation in gcc-8-cross,
as the FTBFS problem happens because the Makefile is buggy (the GPL
says packages must be distributed with a working Makefile).

I was very surprised to read that. I just reread the GPL and could not
find that condition. Could you please direct me to where it says so?
As far as I understand, the GPL doesn't (and shouldn't) even require
that packages have a Makefile at all. Indeed, I believe there are
plenty of GPL'd software that use other build systems.
And any requirement that software may not have bugs is of course unenforceable.

Gerardo