Marcello Seri

Results 435 comments of Marcello Seri

Yes, I know unfortunately. We do what we can :)

Thanks @MSoegtropIMC for pinging me. I could not free enough time for this yet due to some issues at home and then I went in holiday, planning to get back...

Does pgsolver need an upper bound on ocaml-sat-solver?

I don't have an answer for this, but I think you may have better luck asking in the dbm repository: https://github.com/ocaml/dbm it may be that the configure script needs to...

metaocaml is not available for arm macos versions, this seems to be the issue here. Only ocaml versions 4.10.2 and > 4.12 support macos with arm64

Needs a lower bound to octavius 0.2.0.

I can’t check at the moment, but it’s in the logs of this PR https://github.com/ocaml/opam-repository/pull/20250

Found: ``` - downgrade digestif 1.1.0 to 0.1 [uses ocamlbuild, ocamlfind] ``` From https://opam.ci.ocaml.org/github/ocaml/opam-repository/commit/22f861e78ce7fa606711910a06f2fc2fcb64980e

Is gcc installed? Usually if you install the `build-essential` virtual package you have everything you need