Merge pull request ocaml#26328 from mseri/fix-smtml

smtml is not compatible with upcoming cvc5
dinosaure · Aug 2, 2024 · 6f0c003 · 6f0c003
2 parents c635641 + 978ec01
commit 6f0c003
Show file tree

Hide file tree

Showing 7 changed files with 13 additions and 0 deletions.
diff --git a/packages/smtml/smtml.0.1.1/opam b/packages/smtml/smtml.0.1.1/opam
@@ -48,3 +48,6 @@ url {
     "sha512=63e057f40c8d5261493b5d7a03bcf073598dfa10c43b22b177fb24f8292e78753a051ae28e1d5a62d3c6725a7a32a9f1431f4c5f256f679d1a4b2b4c875f084b"
   ]
 }
+conflicts: [
+  "cvc5" {>= "1.1.3~"}
+]
diff --git a/packages/smtml/smtml.0.1.2/opam b/packages/smtml/smtml.0.1.2/opam
@@ -48,3 +48,6 @@ url {
     "sha512=2bc57afd4c61725743ff774e1c80f0c5e389623712695f80665ef190aff79d635d82ca972df4ac6399145f4845e2028b0df332bb8c603821d98c38e5a52d417b"
   ]
 }
+conflicts: [
+  "cvc5" {>= "1.1.3~"}
+]
diff --git a/packages/smtml/smtml.0.2.0/opam b/packages/smtml/smtml.0.2.0/opam
@@ -48,3 +48,6 @@ url {
     "sha512=e17831796ffdcff0cecc7456a02dbfcd7c6f9c5cccdc1dc728948060e03161c4b96d9d567ff6ad732f93b11cd346f080e831969ddf2562748e6eb5f69c56d0da"
   ]
 }
+conflicts: [
+  "cvc5" {>= "1.1.3~"}
+]
diff --git a/packages/smtml/smtml.0.2.1/opam b/packages/smtml/smtml.0.2.1/opam
@@ -28,6 +28,7 @@ depopts: [
 conflicts: [
   "z3" {< "4.12.2" | >= "4.14"}
   "bitwuzla-cxx" {< "0.4.0"}
+  "cvc5" {>= "1.1.3~"}
 ]
 build: [
   ["dune" "subst"] {dev}

diff --git a/packages/smtml/smtml.0.2.2/opam b/packages/smtml/smtml.0.2.2/opam
@@ -29,6 +29,7 @@ depopts: [
 conflicts: [
   "z3" {< "4.12.2" | >= "4.14"}
   "bitwuzla-cxx" {< "0.4.0"}
+  "cvc5" {>= "1.1.3~"}
 ]
 build: [
   ["dune" "subst"] {dev}

diff --git a/packages/smtml/smtml.0.2.3/opam b/packages/smtml/smtml.0.2.3/opam
@@ -32,6 +32,7 @@ depopts: [
 conflicts: [
   "z3" {< "4.12.2" | >= "4.14"}
   "bitwuzla-cxx" {< "0.4.0"}
+  "cvc5" {>= "1.1.3~"}
 ]
 build: [
   ["dune" "subst"] {dev}

diff --git a/packages/smtml/smtml.0.2.4/opam b/packages/smtml/smtml.0.2.4/opam
@@ -32,6 +32,7 @@ depopts: [
 conflicts: [
   "z3" {< "4.12.2" | >= "4.14"}
   "bitwuzla-cxx" {< "0.4.0"}
+  "cvc5" {>= "1.1.3~"}
 ]
 build: [
   ["dune" "subst"] {dev}