Le jeudi 28 octobre 2021 à 09:24 +0200, Stéphane Glondu a écrit : > > Feel free to push your git repository there. > Access request still pending. I improved my elpi package, see https://mentors.debian.net/packages/elpi/ I'm wondering why "ocamlfind list" shows its version as n/a. The next package I would want to work on is coq-elpi, but it requires a more recent coq (at least 8.14). Cheers, J.Puydt >