La licence GPL n'impose de divulguer ses sources que si on distribue son logiciel. Par exemple, Free refuse de divulguer les modifications apportées à Linux pour la Freebox en arguant que le Freebox n'est pas *distribué*, puisqu'elle continue à appartenir à Free.
Donc, si par exemple la Nasa fait des modifs dans Linux, vu qu'elle ne va sans doute pas distribuer cette version, elle n'est pas obligée de divulguer les modifs.