Re: On the coq ecosystem in Debian
Le lundi 28 mars 2022 à 08:14 +0200, Stéphane Glondu a écrit :
> Le 24/03/2022 à 21:59, julien.puydt@gmail.com a écrit :
> > Question: shouldn't I split the current libcoq-elpi in a libcoq-
> > elpi
> > for the purely coq part and a libcoq-elpi-ocaml packages for the
> > .cma/.cmxs pair?
>
> This is what I would have done in the initial packaging. I wouldn't
> do it now, but for bad reasons (delays in NEW processing).
Does the fact that the .cma/.cmxs pair is in /usr/lib/ocaml/coq/user-
contrib/elpi/ count?
(I'm still not doing anything, just poking around trying to understand
how things should stand)
Cheers,
J.Puydt
Reply to: