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 -- To UNSUBSCRIBE, email to [email protected] with a subject of "unsubscribe". Trouble? Contact [email protected] Archive: http://lists.debian.org/[email protected]
