summaryrefslogtreecommitdiff
path: root/ocaml-variants.opam
diff options
context:
space:
mode:
authorTom Kelly <ctk21@cl.cam.ac.uk>2021-03-01 20:27:50 +0000
committerTom Kelly <ctk21@cl.cam.ac.uk>2021-03-01 20:27:50 +0000
commit62a832d670c88cad48bd122e286789ffd2faf5c1 (patch)
tree9f5f259efe3673c7e6d507b2a8833e539f749281 /ocaml-variants.opam
parentf540d977c080253f2c8554ee3a3ef8f1a792a3e5 (diff)
parentea4542d81997db4651e29b26a54fa44764faa398 (diff)
downloadocaml-62a832d670c88cad48bd122e286789ffd2faf5c1.tar.gz
Merge commit 'ea4542d81997db4651e29b26a54fa44764faa398' into parallel_minor_gc_4_12
Diffstat (limited to 'ocaml-variants.opam')
-rw-r--r--ocaml-variants.opam10
1 files changed, 5 insertions, 5 deletions
diff --git a/ocaml-variants.opam b/ocaml-variants.opam
index 3366f4f664..6f719f4389 100644
--- a/ocaml-variants.opam
+++ b/ocaml-variants.opam
@@ -1,11 +1,11 @@
(* In order to use the development compiler with opam 2.0, first create a new
switch
- opam switch create 4.10.0+multicore --empty
+ opam switch create 4.12.0+multicore --empty
Initial build:
- opam pin add -k path --inplace-build ocaml-variants.4.10.0+multicore .
+ opam pin add -k path --inplace-build ocaml-variants.4.12.0+multicore .
This installs the compiler for the new opam switch. Subsequent builds can be
done locally with:
@@ -19,10 +19,10 @@
*)
opam-version: "2.0"
-version: "4.11.0+multicore"
-synopsis: "OCaml multicore 4.11.0"
+version: "4.12.0+multicore"
+synopsis: "OCaml multicore 4.12.0"
depends: [
- "ocaml" {= "4.11.0" & post}
+ "ocaml" {= "4.12.0" & post}
"base-unix" {post}
"base-bigarray" {post}
"base-threads" {post}