ouch. no. neither did i get the license itself. it just states it's gpl and links to the homepage. now we can go into the dirty details here with stellarium mobile, but i wonder why we should. i just checked with and application i downloaded from maemo extras: no info about the licensing at all, no offer that i could get the sources anywhere, no further info about the gpl itself. still, as the application's garage project page tells me, it's meant to be gpl. and does, in fact, publish its sources. you just won't ever know if you download from extras using the application manager. why am i telling this? because it's just absurd to have higher standards for software published on ovi than for the applications we find in extras. sure, it would help if people took the terms of the license more seriously (after all they chose the licensing themselves), and maybe it would be useful to set up a short check list for developers in the wiki to ensure just that. but really.... there is no reason at all to demand of stellarium what nobody ever demanded of an application in extras. enjoy the great application. there's nothing wrong with writing and publishing a great piece of software.