Let me streamline all relevant links: * Original bug http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=709303 * Upstream bug + fix https://bugs.launchpad.net/stellarium/+bug/1194838 * Dicussion on debian-release https://lists.debian.org/debian-release/2013/08/msg00084.html * Stellarium package git repo (point release branch) http://anonscm.debian.org/gitweb/?p=collab-maint/stellarium.git;a=shortlog;h=refs/heads/point-7.1 Cheers, Tomasz