No. The GPL says you have to give the source to anyone you give the binary to. If Sourceforge doesn't distribute a binary to anyone from those countries, they

No. The GPL says you have to give the source to anyone you give the binary to. If Sourceforge doesn't distribute a binary to anyone from those countries, they're in the clear. On the other hand it means that if I give a GPLed binary to an Iranian, I can't satisfy the GPL just by saying "oh, the source is up on Sourceforge".