From aaa178e28695ec079a6267f6b8c53aaef8e006c7 Mon Sep 17 00:00:00 2001 From: Nicolas Osborne Date: Mon, 18 Mar 2024 11:17:40 +0100 Subject: [PATCH] Bump all OCaml version to the same number 4.12.0 is neccessary for `Either` --- dune-project | 16 ++++++++-------- ortac-core.opam | 2 +- ortac-dune.opam | 2 +- ortac-examples.opam | 2 +- ortac-monolith.opam | 2 +- ortac-qcheck-stm.opam | 2 +- ortac-runtime-monolith.opam | 2 +- ortac-runtime-qcheck-stm.opam | 2 +- ortac-wrapper.opam | 2 +- 9 files changed, 16 insertions(+), 16 deletions(-) diff --git a/dune-project b/dune-project index 17be4dc5..208f7551 100644 --- a/dune-project +++ b/dune-project @@ -30,7 +30,7 @@ (maintainers "Clément Pascutto ") (documentation "https://ocaml-gospel.github.io/ortac/ortac-core/") (depends - (ocaml (>= 4.11.0)) + (ocaml (>= 4.12.0)) dune-build-info dune-site (cmdliner (>= 1.1.0)) @@ -76,7 +76,7 @@ "Nicolas Osborne ") (maintainers "Clément Pascutto ") (depends - (ocaml (>= 4.11.0)) + (ocaml (>= 4.12.0)) (cmdliner (>= 1.1.0)) fmt (ppxlib (>= 0.26.0)) @@ -102,7 +102,7 @@ (authors "Nicolas Osborne ") (maintainers "Nicolas Osborne ") (depends - (ocaml (>= 4.11.0)) + (ocaml (>= 4.12.0)) (cmdliner (>= 1.1.0)) fmt (ppxlib (>= 0.26.0)) @@ -127,7 +127,7 @@ (authors "Nicolas Osborne ") (maintainers "Nicolas Osborne ") (depends - (ocaml (>= 4.11.0)) + (ocaml (>= 4.12.0)) (monolith (>= 20201026)) pprint (fmt (>= 0.9.0)) @@ -153,7 +153,7 @@ (maintainers "Nicolas Osborne ") (documentation "https://ocaml-gospel.github.io/ortac/ortac-qcheck-stm/") (depends - (ocaml (>= 4.11.0)) + (ocaml (>= 4.12.0)) (cmdliner (>= 1.1.0)) fmt (ppxlib (>= 0.26.0)) @@ -176,7 +176,7 @@ "Nicolas Osborne ") (maintainers "Nicolas Osborne ") (depends - (ocaml (>= 4.11.0)) + (ocaml (>= 4.12.0)) fmt (cmdliner (>= 1.1.0)) ortac-core @@ -196,7 +196,7 @@ (authors "Nicolas Osborne ") (maintainers "Nicolas Osborne ") (depends - (ocaml (>= 4.11.0)) + (ocaml (>= 4.12.0)) qcheck-stm ortac-runtime)) @@ -209,7 +209,7 @@ "Samuel Hym ") (maintainers "Nicolas Osborne ") (depends - (ocaml (>= 4.11.0)) + (ocaml (>= 4.12.0)) ortac-core ortac-qcheck-stm ortac-dune diff --git a/ortac-core.opam b/ortac-core.opam index a60cd0e7..e436f082 100644 --- a/ortac-core.opam +++ b/ortac-core.opam @@ -25,7 +25,7 @@ doc: "https://ocaml-gospel.github.io/ortac/ortac-core/" bug-reports: "https://github.com/ocaml-gospel/ortac/issues" depends: [ "dune" {>= "3.8"} - "ocaml" {>= "4.11.0"} + "ocaml" {>= "4.12.0"} "dune-build-info" "dune-site" "cmdliner" {>= "1.1.0"} diff --git a/ortac-dune.opam b/ortac-dune.opam index 40885180..a571b2fc 100644 --- a/ortac-dune.opam +++ b/ortac-dune.opam @@ -10,7 +10,7 @@ homepage: "https://github.com/ocaml-gospel/ortac" bug-reports: "https://github.com/ocaml-gospel/ortac/issues" depends: [ "dune" {>= "3.8"} - "ocaml" {>= "4.11.0"} + "ocaml" {>= "4.12.0"} "fmt" "cmdliner" {>= "1.1.0"} "ortac-core" diff --git a/ortac-examples.opam b/ortac-examples.opam index 00f94754..eb607d2a 100644 --- a/ortac-examples.opam +++ b/ortac-examples.opam @@ -12,7 +12,7 @@ homepage: "https://github.com/ocaml-gospel/ortac" bug-reports: "https://github.com/ocaml-gospel/ortac/issues" depends: [ "dune" {>= "3.8"} - "ocaml" {>= "4.11.0"} + "ocaml" {>= "4.12.0"} "ortac-core" "ortac-qcheck-stm" "ortac-dune" diff --git a/ortac-monolith.opam b/ortac-monolith.opam index ba7d33a5..b477e161 100644 --- a/ortac-monolith.opam +++ b/ortac-monolith.opam @@ -19,7 +19,7 @@ homepage: "https://github.com/ocaml-gospel/ortac" bug-reports: "https://github.com/ocaml-gospel/ortac/issues" depends: [ "dune" {>= "3.8"} - "ocaml" {>= "4.11.0"} + "ocaml" {>= "4.12.0"} "cmdliner" {>= "1.1.0"} "fmt" "ppxlib" {>= "0.26.0"} diff --git a/ortac-qcheck-stm.opam b/ortac-qcheck-stm.opam index ddecad5d..31befe55 100644 --- a/ortac-qcheck-stm.opam +++ b/ortac-qcheck-stm.opam @@ -23,7 +23,7 @@ doc: "https://ocaml-gospel.github.io/ortac/ortac-qcheck-stm/" bug-reports: "https://github.com/ocaml-gospel/ortac/issues" depends: [ "dune" {>= "3.8"} - "ocaml" {>= "4.11.0"} + "ocaml" {>= "4.12.0"} "cmdliner" {>= "1.1.0"} "fmt" "ppxlib" {>= "0.26.0"} diff --git a/ortac-runtime-monolith.opam b/ortac-runtime-monolith.opam index 8f4766c6..fcdc5537 100644 --- a/ortac-runtime-monolith.opam +++ b/ortac-runtime-monolith.opam @@ -17,7 +17,7 @@ homepage: "https://github.com/ocaml-gospel/ortac" bug-reports: "https://github.com/ocaml-gospel/ortac/issues" depends: [ "dune" {>= "3.8"} - "ocaml" {>= "4.11.0"} + "ocaml" {>= "4.12.0"} "monolith" {>= "20201026"} "pprint" "fmt" {>= "0.9.0"} diff --git a/ortac-runtime-qcheck-stm.opam b/ortac-runtime-qcheck-stm.opam index 8b428802..136263b6 100644 --- a/ortac-runtime-qcheck-stm.opam +++ b/ortac-runtime-qcheck-stm.opam @@ -17,7 +17,7 @@ homepage: "https://github.com/ocaml-gospel/ortac" bug-reports: "https://github.com/ocaml-gospel/ortac/issues" depends: [ "dune" {>= "3.8"} - "ocaml" {>= "4.11.0"} + "ocaml" {>= "4.12.0"} "qcheck-stm" "ortac-runtime" "odoc" {with-doc} diff --git a/ortac-wrapper.opam b/ortac-wrapper.opam index 78abe086..ce441128 100644 --- a/ortac-wrapper.opam +++ b/ortac-wrapper.opam @@ -20,7 +20,7 @@ homepage: "https://github.com/ocaml-gospel/ortac" bug-reports: "https://github.com/ocaml-gospel/ortac/issues" depends: [ "dune" {>= "3.8"} - "ocaml" {>= "4.11.0"} + "ocaml" {>= "4.12.0"} "cmdliner" {>= "1.1.0"} "fmt" "ppxlib" {>= "0.26.0"}