Update dune dependency version and add conflict

jim-portegies · web-flow · commit 99535236493f · 2025-09-11T12:30:54.000+02:00
diff --git a/packages/coq-waterproof/coq-waterproof.3.0.0+8.19/opam b/packages/coq-waterproof/coq-waterproof.3.0.0+8.19/opam
@@ -24,9 +24,11 @@ bug-reports: "https://github.com/impermeable/coq-waterproof/issues"
 depends: [
   "ocaml" {>= "4.09.0"}
   "coq" {>= "8.19" & < "8.20" | = "dev"}
-  "dune" {>= "3.6."}
+  "dune" {>= "3.8"}
 ]
 
+conflicts: [ "ocaml-option-bytecode-only" ]
+
 build: [
   ["dune" "build" "-p" name "-j" jobs "@install"]
 ]

Original file line number	Diff line number	Diff line change
`@@ -24,9 +24,11 @@ bug-reports: "https://github.com/impermeable/coq-waterproof/issues"`
`24`	`24`	`depends: [`
`25`	`25`	`"ocaml" {>= "4.09.0"}`
`26`	`26`	`"coq" {>= "8.19" & < "8.20" \| = "dev"}`
`27`		`- "dune" {>= "3.6."}`
	`27`	`+ "dune" {>= "3.8"}`
`28`	`28`	`]`
`29`	`29`
	`30`	`+conflicts: [ "ocaml-option-bytecode-only" ]`
	`31`	`+`
`30`	`32`	`build: [`
`31`	`33`	`["dune" "build" "-p" name "-j" jobs "@install"]`
`32`	`34`	`]`