Re: Updating coq
Hi,
Le mercredi 03 novembre 2021 à 09:03 +0100, Ralf Treinen a écrit :
>
> good to hear that you are joining the team and that you are interested
> in coq and related packages. The coq package is (again) lacking behind
> upstream, so we could definitely use some help here. I had uopdated the
> last versions of the package when it was more or less abandoned, but in
> reality I am not even a regular coq user, so if you are motivated to
> take over the coq maintenance that would be from my point of view most
> appreciated.
I just pushed to salsa and uploaded to experimental a coq package
version 8.14.0+dfsg-1.
It is definitely not the package of my dreams :
- I had to disable the build-time checks.
- I have brutally updated the patches, with no real review.
- Lintian has a long list of things to say.
But still: it compiles, its autopkgtest passes and I could check coqide
works at least a little.
That means I should have a reasonable starting point, from which things
will get good.
Please check, test and comment!
J.Puydt
Reply to: