Re: Uploading new Coq
Le 25/12/2018 à 20:09, Ralf Treinen a écrit :
>> 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?
>
> it would certainly be great to have a recent version of coq in buster.
> Please try to get in touch with Enrico and Stéphane who maintained the
> coq package in the past to know their intentions.
Feel free to upgrade the package in git; I will review and upload it.
Cheers,
--
Stéphane
Reply to: