Re: Uploading new Coq
On Thursday, December 20, 2018, at 9:56 PM EST, Benjamin Barenblat wrote:
> I’m planning to do some work in the next couple of weeks to get a new
> Coq uploaded before the buster freeze. Does anybody have pending state
> on this, or should I just dive on in?
On Wednesday, December 26, 2018, at 2:38 AM EST, Stéphane Glondu wrote:
> Feel free to upgrade the package in git; I will review and upload it.
I don’t have permissions to push to the package in Git; can somebody
give them to me?
In the meantime, I’ve uploaded my changes to
https://git.benjamin.barenblat.name/debian-coq/. I’m not quite done, but
I’d like to get my work out in the open now so people can begin looking
at it.
I’ve temporarily removed SSReflect from the Coq standard library, as it
contained two files under nonfree licenses. I’ve contacted upstream, and
one developer has confirmed those license headers should have been
changed when upstream imported them; once the project officially accepts
https://github.com/coq/coq/pull/9282, I’ll reenable the SSReflect build.
I’ve also temporarily disabled CoqIDE to address
https://bugs.debian.org/916369. I don’t want to reenable CoqIDE until
https://bugs.debian.org/885677 is downgraded to Important; doing
otherwise puts Coq at risk of autoremoval.
Before uploading, I’m going to fix the remaining Lintian error
(ocaml-dangling-cmx in libcoq-ocaml-dev). If I hear nothing in the next
couple of days, I’m going to assume my packaging is good to go and do
the upload over the weekend. I’ll continue working on the package up to
the freeze, so there will be opportunity to address issues through a -2
release.
Reply to: