Require dune.3.17

mbarbin · Dec 16, 2024 · ea92ab9 · ea92ab9
1 parent 655b5ef
commit ea92ab9
Show file tree

Hide file tree

Showing 4 changed files with 4 additions and 4 deletions.
diff --git a/dune-project b/dune-project
@@ -1,4 +1,4 @@
-(lang dune 3.16)
+(lang dune 3.17)
 
 (name provider)
 

diff --git a/provider-dev.opam b/provider-dev.opam
@@ -9,7 +9,7 @@ homepage: "https://github.com/mbarbin/provider"
 doc: "https://mbarbin.github.io/provider/"
 bug-reports: "https://github.com/mbarbin/provider/issues"
 depends: [
-  "dune" {>= "3.16"}
+  "dune" {>= "3.17"}
   "ocaml" {>= "5.2"}
   "ocamlformat" {with-dev-setup & = "0.27.0"}
   "base" {>= "v0.17" & < "v0.18"}

diff --git a/provider-tests.opam b/provider-tests.opam
@@ -8,7 +8,7 @@ homepage: "https://github.com/mbarbin/provider"
 doc: "https://mbarbin.github.io/provider/"
 bug-reports: "https://github.com/mbarbin/provider/issues"
 depends: [
-  "dune" {>= "3.16"}
+  "dune" {>= "3.17"}
   "ocaml" {>= "4.14"}
   "base" {>= "v0.16" & < "v0.18"}
   "expect_test_helpers_core" {>= "v0.16" & < "v0.18"}

diff --git a/provider.opam b/provider.opam
@@ -8,7 +8,7 @@ homepage: "https://github.com/mbarbin/provider"
 doc: "https://mbarbin.github.io/provider/"
 bug-reports: "https://github.com/mbarbin/provider/issues"
 depends: [
-  "dune" {>= "3.16"}
+  "dune" {>= "3.17"}
   "ocaml" {>= "4.14"}
   "sexplib0" {>= "v0.16" & < "v0.18"}
   "odoc" {with-doc}