Merge pull request #27790 from mseri/smtml

mseri · web-flow · commit a84d26e26b3c · 2025-04-18T09:36:43.000+02:00
smtml 0.4.1 is not compatible with bitwuzla-cxx 0.7.0
diff --git a/packages/smtml/smtml.0.4.1/opam b/packages/smtml/smtml.0.4.1/opam
@@ -47,7 +47,7 @@ depends: [
 ]
 depopts: ["alt-ergo-lib" "bitwuzla-cxx" "colibri2" "cvc5" "z3"]
 conflicts: [
-  "bitwuzla-cxx" {< "0.6.0"}
+  "bitwuzla-cxx" {< "0.6.0" | >= "0.7.0"}
   "z3" {< "4.12.2" | >= "4.14"}
   "alt-ergo-lib" {>= "2.6.1"}
 ]

Original file line number	Diff line number	Diff line change
`@@ -47,7 +47,7 @@ depends: [`
`47`	`47`	`]`
`48`	`48`	`depopts: ["alt-ergo-lib" "bitwuzla-cxx" "colibri2" "cvc5" "z3"]`
`49`	`49`	`conflicts: [`
`50`		`- "bitwuzla-cxx" {< "0.6.0"}`
	`50`	`+ "bitwuzla-cxx" {< "0.6.0" \| >= "0.7.0"}`
`51`	`51`	`"z3" {< "4.12.2" \| >= "4.14"}`
`52`	`52`	`"alt-ergo-lib" {>= "2.6.1"}`
`53`	`53`	`]`