Re: On updating Coq/Rocq in Debian

[Stéphane Glondu <glondu@debian.org>]

Hi,

Le 12/09/2025 à 07:08, Julien Puydt a écrit :
> I'm working on updating Coq (with an upcoming renaming to Rocq) in
> Debian ; here is where things stand on my box -- I'll upload as soon as
> I have a working set. Notice that rocq-stdlib is new, so will have to
> get through the NEW queue.

At this point, I'd rather wait for the current set of 
(ppxlib-0.36.1-based) packages to migrate.

Meanwhile, please upload rocq-stdlib and its dependencies to experimental.


Cheers,

--
Stéphane