You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
{{ message }}
This repository was archived by the owner on Mar 30, 2026. It is now read-only.
Hey the installation failed on an Apple Arm based chip.
I am trying out Waterproof for potential usage in a first semester course at the University of Vienna.
A bunch of students every semester do use Apple Arm chips. Do you think a implementation there is possible?
If so I am happy to receive any insight on how to achieve the installation.
usr@MacBook - waterproof % opam switch create 4.11.1
<><> Installing new switch packages <><><><><><><><><><><><><><><><><><><><> 🐫
Switch invariant: ["ocaml-base-compiler" {= "4.11.1"}]
[ERROR] Could not determine which packages to install for this switch:
* Missing dependency:
- (invariant) → ocaml-base-compiler = 4.11.1
unmet availability conditions: '!(os = "macos" & arch = "arm64")'
Hey the installation failed on an Apple Arm based chip.
I am trying out Waterproof for potential usage in a first semester course at the University of Vienna.
A bunch of students every semester do use Apple Arm chips. Do you think a implementation there is possible?
If so I am happy to receive any insight on how to achieve the installation.