Le 11/01/2012 14:13, Hendrik Tews a écrit :
>    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

Great! Do you have an idea of when a release with the fixed license will
be done? Meanwhile, I guess a note in debian/README.source would be
nice... Dear FTP Masters, would that be enough?


Cheers,

-- 
Stéphane


-- 
To UNSUBSCRIBE, email to debian-mentors-requ...@lists.debian.org
with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
Archive: http://lists.debian.org/4f0d90dc.5070...@debian.org

Reply via email to