Erik Martin-Dorel

BTW I guess that the depext spec https://github.com/ocaml/opam-repository/blob/f8dfc4e2b32067697b4602ddb80339665e6bf8c9/packages/conf-libssl/conf-libssl.3/opam#L28 should also be replaced with (`"[email protected]"` or) `"openssl@3"`.

> Try > > `brew install openssl@3` > > seems to work for me. Yes, this is the standard workaround. But ideally, this should be done automatically if one sets...

Hi all, thanks for your answers! > I'm not sure what went wrong in your GHA run. Okay! BTW I had workarounded the "issue" after opening #19676 by manually adding...

Hi @kit-ty-kate, FYI I applied your suggestion here: https://github.com/ocaml-sf/learn-ocaml/pull/454 but I got a failure :-/ https://github.com/ocaml-sf/learn-ocaml/runs/4086278147?check_suite_focus=true

Hi @kit-ty-kate, OK thanks for your feedback and tests! But I was thinking that having `[email protected]` should still be OK regarding the `conf-libssl` installation test (?) I mean, in this...

Hello, I think this issue should not be closed yet / let me know if you need more tests or so

Despite the restart, the job failed anew: * [GitLab CI pipeline URL](https://gitlab.com/coq-community/docker-base/-/jobs/2652635081) * [GitLab CI pipeline URL](https://gitlab.com/coq-community/docker-base/-/jobs/2652705600)

On second thought: migrating to `4.09.1+flambda` fixes the issue. (I'd be curious to learn what happened exactly, but) feel free to close this issue now: it's not blocking for coqorg/base...

I Cc @proux01 in case he'd have some experience running csdp on Windows… (as our ValidSDP library relies on his [`osdp` libary](https://cavale.enseeiht.fr/osdp/) which is packaged in opam and provides a...

Also, see the [`conf-csdp`](https://opam.ocaml.org/packages/conf-csdp/) opam package (which is one of the dependencies of [`osdp`](https://opam.ocaml.org/packages/osdp/))