summaryrefslogtreecommitdiff
path: root/ocaml-variants.opam
diff options
context:
space:
mode:
authorFlorian Angeletti <florian.angeletti@inria.fr>2020-10-19 16:16:48 +0200
committerFlorian Angeletti <florian.angeletti@inria.fr>2020-10-19 16:19:49 +0200
commit21c33a53cda9c15b453ed278226615e85f817f7c (patch)
treeb50b1851c5713a12f5b18b10f77f9dd48c1f9e7a /ocaml-variants.opam
parent24dbb0976a7d22233b566d8ac202c445b9b72b99 (diff)
downloadocaml-21c33a53cda9c15b453ed278226615e85f817f7c.tar.gz
first commit after branching 4.12
Diffstat (limited to 'ocaml-variants.opam')
-rw-r--r--ocaml-variants.opam4
1 files changed, 2 insertions, 2 deletions
diff --git a/ocaml-variants.opam b/ocaml-variants.opam
index ee159c3eca..8a541c0678 100644
--- a/ocaml-variants.opam
+++ b/ocaml-variants.opam
@@ -1,8 +1,8 @@
opam-version: "2.0"
-version: "4.12.0+trunk"
+version: "4.13.0+trunk"
synopsis: "OCaml development version"
depends: [
- "ocaml" {= "4.12.0" & post}
+ "ocaml" {= "4.13.0" & post}
"base-unix" {post}
"base-bigarray" {post}
"base-threads" {post}