As I understand it: a government can not say to a foreign company "we won't buy your software / won't allow your product in our market unless you give us the source code" and that's it. It has nothing to do with GPL, possibly with the exception that writing "the provided software shall be released under GPL license" into government-sponsored bids would be illegal as it basically forces a company to provide the source code as a requirement to do business.
