Fix dune version dependency format in opam file

jim-portegies · web-flow · commit eec133f2358b · 2025-08-27T13:02:34.000+02:00
diff --git a/packages/coq-waterproof/coq-waterproof.3.0.0+8.17/opam b/packages/coq-waterproof/coq-waterproof.3.0.0+8.17/opam
@@ -24,7 +24,7 @@ bug-reports: "https://github.com/impermeable/coq-waterproof/issues"
 depends: [
   "ocaml" {>= "4.09.0"}
   "coq" {>= "8.17" & < "8.18"}
-  "dune" {>= "3.8."}
+  "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.17" & < "8.18"}`
`27`		`- "dune" {>= "3.8."}`
	`27`	`+ "dune" {>= "3.8"}`
`28`	`28`	`]`
`29`	`29`
`30`	`30`	`build: [`