Erik Martin-Dorel

Dear maintainers of `teachers_pet`, I was also faced with this issue yesterday, and @aronwc 's workaround worked like a charm. Could this fix be directly integrated in master? or should...

Hi @Zimmi48, I vote for the last solution you propose, as maintaining the list of maintainers (no pun intended) could be easier if the number of information sources to update...

@Zimmi48 > What to do for repositories with several principal maintainers? good question; > Should we extend the syntax or select a single representative? The latter solution might be a...

If we select this idea, one may also want to write either: * a small script to turn the JSON output automatically in a Markdown table (if one wants to...

Hi @thery, I've just seen this issue and I think this is related to the fact multinomials is not yet released since it has been updated with coq-native support (https://github.com/math-comp/multinomials/pull/45)...

Hi @ejgallego, thanks for your comment! I see what you mean: sometimes having a "conflict" can be useful to detect at opam-pre-install-time that a package will be incompatible. However I...

Thanks Pierre. But when you say: > We should indeed also add conflict clauses in the opam packages What kind of conflit do you have in mind? as mentioned in...

> > The fact that current multinomials releases built with dune are incompatible with coq-native? > > Technically they are not, their dependencies are. I guess this is the other...

Hi @gares, thanks for your message and for your experiments. I don't have many clues, but at least, I'm able to reproduce the issue in GitHub Actions with [the following...

OK, so FYI @gares, the issue is reproducible locally. Upside: this is not a GitHub Actions specific issue, so it is easier to debug. Downside: this needs to be debugged....