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