3 ms·

If the agreement does not prohibit redistribution of the source code once you have it, it can still be considered GPL.