Skip to content

Commit

Permalink
Bump all OCaml version to the same number
Browse files Browse the repository at this point in the history 
4.12.0 is neccessary for `Either`
  • Loading branch information
@n-osborne
n-osborne committed Apr 12, 2024
1 parent e63338e commit aaa178e
Show file tree
Hide file tree
Showing 9 changed files with 16 additions and 16 deletions.
16 changes: 8 additions & 8 deletions dune-project
View file
Original file line number Diff line number Diff line change
Expand Up @@ -30,7 +30,7 @@
(maintainers "Clément Pascutto <[email protected]>")
(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))
Expand Down Expand Up @@ -76,7 +76,7 @@
"Nicolas Osborne <[email protected]>")
(maintainers "Clément Pascutto <[email protected]>")
(depends
(ocaml (>= 4.11.0))
(ocaml (>= 4.12.0))
(cmdliner (>= 1.1.0))
fmt
(ppxlib (>= 0.26.0))
Expand All @@ -102,7 +102,7 @@
(authors "Nicolas Osborne <[email protected]>")
(maintainers "Nicolas Osborne <[email protected]>")
(depends
(ocaml (>= 4.11.0))
(ocaml (>= 4.12.0))
(cmdliner (>= 1.1.0))
fmt
(ppxlib (>= 0.26.0))
Expand All @@ -127,7 +127,7 @@
(authors "Nicolas Osborne <[email protected]>")
(maintainers "Nicolas Osborne <[email protected]>")
(depends
(ocaml (>= 4.11.0))
(ocaml (>= 4.12.0))
(monolith (>= 20201026))
pprint
(fmt (>= 0.9.0))
Expand All @@ -153,7 +153,7 @@
(maintainers "Nicolas Osborne <[email protected]>")
(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))
Expand All @@ -176,7 +176,7 @@
"Nicolas Osborne <[email protected]>")
(maintainers "Nicolas Osborne <[email protected]>")
(depends
(ocaml (>= 4.11.0))
(ocaml (>= 4.12.0))
fmt
(cmdliner (>= 1.1.0))
ortac-core
Expand All @@ -196,7 +196,7 @@
(authors "Nicolas Osborne <[email protected]>")
(maintainers "Nicolas Osborne <[email protected]>")
(depends
(ocaml (>= 4.11.0))
(ocaml (>= 4.12.0))
qcheck-stm
ortac-runtime))

Expand All @@ -209,7 +209,7 @@
"Samuel Hym <[email protected]>")
(maintainers "Nicolas Osborne <[email protected]>")
(depends
(ocaml (>= 4.11.0))
(ocaml (>= 4.12.0))
ortac-core
ortac-qcheck-stm
ortac-dune
Expand Down
2 changes: 1 addition & 1 deletion ortac-core.opam
View file
Original file line number Diff line number Diff line change
Expand Up @@ -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"}
Expand Down
2 changes: 1 addition & 1 deletion ortac-dune.opam
View file
Original file line number Diff line number Diff line change
Expand Up @@ -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"
Expand Down
2 changes: 1 addition & 1 deletion ortac-examples.opam
View file
Original file line number Diff line number Diff line change
Expand Up @@ -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"
Expand Down
2 changes: 1 addition & 1 deletion ortac-monolith.opam
View file
Original file line number Diff line number Diff line change
Expand Up @@ -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"}
Expand Down
2 changes: 1 addition & 1 deletion ortac-qcheck-stm.opam
View file
Original file line number Diff line number Diff line change
Expand Up @@ -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"}
Expand Down
2 changes: 1 addition & 1 deletion ortac-runtime-monolith.opam
View file
Original file line number Diff line number Diff line change
Expand Up @@ -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"}
Expand Down
2 changes: 1 addition & 1 deletion ortac-runtime-qcheck-stm.opam
View file
Original file line number Diff line number Diff line change
Expand Up @@ -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}
Expand Down
2 changes: 1 addition & 1 deletion ortac-wrapper.opam
View file
Original file line number Diff line number Diff line change
Expand Up @@ -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"}
Expand Down

0 comments on commit aaa178e

Please sign in to comment.