ci/build-deb: install 4.14.0

janestreet · Jun 3, 2024 · 65e53d1 · 65e53d1
1 parent 5227232
commit 65e53d1
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/debian/rules b/debian/rules
@@ -12,7 +12,7 @@ override_dh_clean:
 
 override_dh_auto_build:
 	opam init -y --bare
-	opam switch create -y 4.13.1-flambda --packages=ocaml-variants.4.13.1+options,ocaml-option-flambda
+	opam switch create -y 4.14.0-flambda --packages=ocaml-variants.4.14.0+options,ocaml-option-flambda
 	opam exec -- opam install -y ./magic-trace.opam --deps-only
 	opam exec -- dh_auto_build