Skip to content

Commit 65e53d1

Browse files
authored
ci/build-deb: install 4.14.0
1 parent 5227232 commit 65e53d1

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

debian/rules

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -12,7 +12,7 @@ override_dh_clean:
1212

1313
override_dh_auto_build:
1414
opam init -y --bare
15-
opam switch create -y 4.13.1-flambda --packages=ocaml-variants.4.13.1+options,ocaml-option-flambda
15+
opam switch create -y 4.14.0-flambda --packages=ocaml-variants.4.14.0+options,ocaml-option-flambda
1616
opam exec -- opam install -y ./magic-trace.opam --deps-only
1717
opam exec -- dh_auto_build
1818

0 commit comments

Comments
 (0)