Docker: bump OCaml to 5.1.0

strub · strub · commit 1733c19600d6 · 2023-12-12T15:58:32.000+01:00
diff --git a/scripts/docker/base-box/Dockerfile b/scripts/docker/base-box/Dockerfile
@@ -27,4 +27,4 @@ WORKDIR /home/$user
 ENV OPAMYES=true OPAMVERBOSE=0 OPAMJOBS=4
 
 RUN \
-	opam init --disable-sandboxing
+	opam init --disable-sandboxing --switch=ocaml-base-compiler.5.1.0
