Update dune dependency version to 3.8

jim-portegies · web-flow · commit 752fe1b9c8f5 · 2025-09-11T11:53:50.000+02:00
diff --git a/packages/coq-waterproof/coq-waterproof.3.0.0+8.18/opam b/packages/coq-waterproof/coq-waterproof.3.0.0+8.18/opam
@@ -24,7 +24,7 @@ bug-reports: "https://github.com/impermeable/coq-waterproof/issues"
 depends: [
   "ocaml" {>= "4.09.0"}
   "coq" {>= "8.18" & < "8.19"}
-  "dune" {>= "3.6."}
+  "dune" {>= "3.8"}
 ]
 
 build: [

Original file line number	Diff line number	Diff line change
`@@ -24,7 +24,7 @@ bug-reports: "https://github.com/impermeable/coq-waterproof/issues"`
`24`	`24`	`depends: [`
`25`	`25`	`"ocaml" {>= "4.09.0"}`
`26`	`26`	`"coq" {>= "8.18" & < "8.19"}`
`27`		`- "dune" {>= "3.6."}`
	`27`	`+ "dune" {>= "3.8"}`
`28`	`28`	`]`
`29`	`29`
`30`	`30`	`build: [`