That would require contractors to give the code back to DoD. As far as I know you have to give source of GPLed code to the users you are distributing binaries to, not necessarily to the general public.