2834cd59c8c0aa8dc65faefcf848129d stellarium-0.8.0.tar.gz 2fd23dd0300af03cabc9ba5564cc919d stellarium_user_guide-0.8.0-1.pdf