Hi Le sam. 10 sept. 2022 à 14:00, Sebastian Ramacher <sramac...@debian.org> a écrit :
> > coq-stdpp can be installed with any coq version. That will need fixing. > The coq version is a non-issue: the libcoq-stdlib dep should already cover that. I'll look into why it doesn't. Cheers J.Puydt >