Re: RFS: proofgeneral
> Upstream has just changed the license to CC-BY-SA-3, see
> Therefore the issue is probably not pressing any more for
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
For a real release I have no idea. I hope there will be a release
together with Coq 8.4, this would be in the next few month.
My packaging attempt is currently based on prereleases. I just
asked the upstream author for a prerelease, it will hopefully
come out in the next few days. As soon as this happens I move my
new proofgeneral package back to main.
(I will switch to only package real releases with the next real
release of Proof General).