Merge pull request #27788 from mseri/altergo

mseri · web-flow · commit e852c6d8161c · 2025-04-17T22:42:49.000+02:00
smtmt &lt; 0.6.1 is not compatible with alt-ergo-lib 2.6.1
diff --git a/packages/smtml/smtml.0.3.1/opam b/packages/smtml/smtml.0.3.1/opam
@@ -48,6 +48,7 @@ depopts: ["alt-ergo-lib" "bitwuzla-cxx" "colibri2" "cvc5" "z3"]
 conflicts: [
   "bitwuzla-cxx" {< "0.6.0"}
   "z3" {< "4.12.2" | >= "4.14"}
+  "alt-ergo-lib" {>= "2.6.1"}
 ]
 build: [
   ["dune" "subst"] {dev}
diff --git a/packages/smtml/smtml.0.4.0/opam b/packages/smtml/smtml.0.4.0/opam
@@ -49,6 +49,7 @@ depopts: ["alt-ergo-lib" "bitwuzla-cxx" "colibri2" "cvc5" "z3"]
 conflicts: [
   "bitwuzla-cxx" {< "0.6.0"}
   "z3" {< "4.12.2" | >= "4.14"}
+  "alt-ergo-lib" {>= "2.6.1"}
 ]
 available: arch != "arm32" & arch != "x86_32"
 build: [
diff --git a/packages/smtml/smtml.0.4.1/opam b/packages/smtml/smtml.0.4.1/opam
@@ -49,6 +49,7 @@ depopts: ["alt-ergo-lib" "bitwuzla-cxx" "colibri2" "cvc5" "z3"]
 conflicts: [
   "bitwuzla-cxx" {< "0.6.0"}
   "z3" {< "4.12.2" | >= "4.14"}
+  "alt-ergo-lib" {>= "2.6.1"}
 ]
 available: arch != "arm32" & arch != "x86_32"
 build: [
diff --git a/packages/smtml/smtml.0.5.0/opam b/packages/smtml/smtml.0.5.0/opam
@@ -52,6 +52,7 @@ depopts: ["alt-ergo-lib" "bitwuzla-cxx" "colibri2" "cvc5" "z3"]
 conflicts: [
   "bitwuzla-cxx" {< "0.6.0"}
   "z3" {< "4.12.2" | >= "4.14"}
+  "alt-ergo-lib" {>= "2.6.1"}
 ]
 build: [
   ["dune" "subst"] {dev}
diff --git a/packages/smtml/smtml.0.6.0/opam b/packages/smtml/smtml.0.6.0/opam
@@ -53,6 +53,7 @@ depopts: ["alt-ergo-lib" "bitwuzla-cxx" "colibri2" "cvc5" "z3"]
 conflicts: [
   "bitwuzla-cxx" {< "0.6.0"}
   "z3" {< "4.12.2" | >= "4.14"}
+  "alt-ergo-lib" {>= "2.6.1"}
 ]
 build: [
   ["dune" "subst"] {dev}

Original file line number	Diff line number	Diff line change
`@@ -48,6 +48,7 @@ depopts: ["alt-ergo-lib" "bitwuzla-cxx" "colibri2" "cvc5" "z3"]`
`48`	`48`	`conflicts: [`
`49`	`49`	`"bitwuzla-cxx" {< "0.6.0"}`
`50`	`50`	`"z3" {< "4.12.2" \| >= "4.14"}`
	`51`	`+ "alt-ergo-lib" {>= "2.6.1"}`
`51`	`52`	`]`
`52`	`53`	`build: [`
`53`	`54`	`["dune" "subst"] {dev}`
Original file line number	Diff line number	Diff line change
`@@ -49,6 +49,7 @@ depopts: ["alt-ergo-lib" "bitwuzla-cxx" "colibri2" "cvc5" "z3"]`
`49`	`49`	`conflicts: [`
`50`	`50`	`"bitwuzla-cxx" {< "0.6.0"}`
`51`	`51`	`"z3" {< "4.12.2" \| >= "4.14"}`
	`52`	`+ "alt-ergo-lib" {>= "2.6.1"}`
`52`	`53`	`]`
`53`	`54`	`available: arch != "arm32" & arch != "x86_32"`
`54`	`55`	`build: [`
Original file line number	Diff line number	Diff line change
`@@ -52,6 +52,7 @@ depopts: ["alt-ergo-lib" "bitwuzla-cxx" "colibri2" "cvc5" "z3"]`
`52`	`52`	`conflicts: [`
`53`	`53`	`"bitwuzla-cxx" {< "0.6.0"}`
`54`	`54`	`"z3" {< "4.12.2" \| >= "4.14"}`
	`55`	`+ "alt-ergo-lib" {>= "2.6.1"}`
`55`	`56`	`]`
`56`	`57`	`build: [`
`57`	`58`	`["dune" "subst"] {dev}`
Original file line number	Diff line number	Diff line change
`@@ -53,6 +53,7 @@ depopts: ["alt-ergo-lib" "bitwuzla-cxx" "colibri2" "cvc5" "z3"]`
`53`	`53`	`conflicts: [`
`54`	`54`	`"bitwuzla-cxx" {< "0.6.0"}`
`55`	`55`	`"z3" {< "4.12.2" \| >= "4.14"}`
	`56`	`+ "alt-ergo-lib" {>= "2.6.1"}`
`56`	`57`	`]`
`57`	`58`	`build: [`
`58`	`59`	`["dune" "subst"] {dev}`