Marcello Seri
Marcello Seri
I am going to keep this open until we move to a dune with the new feature. @kkirstein @nilsbecker can you check if the master branch of eigen works for...
Thanks for the report. Looks like these we can test here: https://github.com/owlbarn/eigen/pull/31 I am still unsure what is the correct way to handle this. Maybe we should wait for the...
I can reproduce the issue on a linux VM and on the GH Actions worker in the new PR
@code-ghalib I have marked eigen 0.4.0 as unavailable on the opam-repository, it breaks too many workflows (surprising that it was not failing in the opam-repository CI revdeps, but I guess...
There is a way to use a different gcc, I can remember which flag you need to set, but it would require you to recompile everything- including ocaml-if I recall...
It would also be useful for packages like https://github.com/c-cube/ocaml-containers to enable the `-nolabels` option in all the `*Labels.ml*` files in a (relatively) compact way. Is there any way to mimick...
I am in favour of already raising this to 4.08
Yes, sometimes we detect implicit dependencies, for examples or implicit conflicts due to some other packages or conflicts with depopts. Some other times, if the previous release happened before the...
Even there, it may be that the metadata changes from released to new version. I think such a check should go into a PR tagging a release if that can...