summaryrefslogtreecommitdiff
path: root/ocaml-variants.opam
diff options
context:
space:
mode:
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}