Marcello Seri
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?
Ping @muldvarp
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