Merge pull request #25359 from ocaml/mseri-patch-4

mseri · web-flow · commit 7c22f971dbed · 2024-02-27T12:17:38.000+01:00
why3 1.6.0 requires ocamlopt
diff --git a/packages/why3/why3.1.6.0/opam b/packages/why3/why3.1.6.0/opam
@@ -74,6 +74,7 @@ conflicts: [
   "ocamlgraph" {< "1.8.2"}
   "mlmpfr" {< "4.0.0"}
   "base-effects"
+  "ocaml-option-bytecode-only"
 ]
 
 patches: [ "cygwin.patch" { os-family = "windows" } ]

Original file line number	Diff line number	Diff line change
`@@ -74,6 +74,7 @@ conflicts: [`
`74`	`74`	`"ocamlgraph" {< "1.8.2"}`
`75`	`75`	`"mlmpfr" {< "4.0.0"}`
`76`	`76`	`"base-effects"`
	`77`	`+ "ocaml-option-bytecode-only"`
`77`	`78`	`]`
`78`	`79`
`79`	`80`	`patches: [ "cygwin.patch" { os-family = "windows" } ]`