Stéphane Glondu writes: I've just noticed that there are files under CC-BY-NC-SA-3. Upstream has just changed the license to CC-BY-SA-3, see http://www4.in.tum.de/~wenzelm/cgi-bin/repos.cgi/ProofGeneral/file/be73425fbe77/images/README Therefore the issue is probably not pressing any more for proofgeneral-3.7-4 Bye, Hendrik