New Package: stellarium-0.12.4, open source planetarium
Merge pull request #354 from grauehaare/master

New Package: stellarium-0.12.4, open source planetarium