> Non-compliant. The CovidSAFE application heavily uses source code from https://github.com/opentrace-community/opentrace-android which was released under GPL v3 That's not to say its non-compliant, they could have reached out to the (one) contributor and licenced it separately.
By not doing so they are by definition non-compliant. Or they could have GPLed the entire app; no reason not to have.
Pedantry. If you agree a separate licence and are no longer bound by the terms of the GPL, you cannot be in breach of the GPL. That's the point.
> they could have GPLed the entire app; no reason not to have.
They haven't released the source.