Marcello Seri comments

Results 435 comments of


                                            Marcello Seri

discover: simplify dependencies and re-enable dune 1.0

I cannot test this right now, but I do this usually on my projects, so should work fine. Please test it before merging.

config.sh issue with process sandboxing on macos

It can be fixed with a microscopic patch: https://github.com/ocaml/opam-repository/pull/25144 I'll send a PR

Events following the OCaml code of conduct

I think it is a good idea, we could just add a physical events section

conf-openblas does not build on macos ARM due to unsupported '-fopenmp'

It seems to work fine with macports and with manual installs, I have just tested it locally. From the look of it, this is a problem with hoembrew. Not the...

Fix install of conf-libclang.15 when using macports on macOS.

Thanks

Package obelisk.0.7.0

@Lelio-Brun please port these fixes also to your main branch

Package obelisk.0.7.0

Yes please. There is no need to re-tag or re-release since the metadata used by opam are the ones on this repository, but then they will be fixed already for...

Package obelisk.0.7.0

Thanks

Fully-automate merges for the simplest class of package publications PRs

It was a useful exercise to try and remember where this went wrong in the past, since this would be a conveninent automation to have. The few cases where we...

Package cvc5.1.1.3-unreleased

Is the version correct? Right now it is going to be released as `cvc5` with version `1.1.3-unreleased` Did I understand correctly that we need to add an upper bound to...