Re: RFS: proofgeneral
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
Reply to: