Stream: Coq devs & plugin devs

Topic: Coq on opam on Mac on OCaml 4.11.1 on GitHub Actions?


view this post on Zulip Jason Gross (Apr 22 2024 at 18:53):

I'm suddenly getting

Switch invariant: ["ocaml-base-compiler" {= "4.11.1"}]
  [ERROR] Could not determine which packages to install for this switch:
    * Missing dependency:
      - ocaml-base-compiler = 4.11.1
      unmet availability conditions: '!(os = "macos" & arch = "arm64")'

Is this a recent change? (On OCaml's side? On GitHub Actions side as for what macos-latest means?)

view this post on Zulip Ali Caglayan (Apr 23 2024 at 22:41):

I think the GitHub actions started using arm on macos and maybe ocaml wasn't supported on m1/m2 mac back then.


Last updated: Oct 13 2024 at 01:02 UTC