diff --git a/packages/smtml/smtml.0.1.1/opam b/packages/smtml/smtml.0.1.1/opam
index 5d6fc496bb1..ed543d169f4 100644
--- 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
index 8e908a28c34..9d98b619d11 100644
--- 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
index 61449158e9e..d33e9d2a87b 100644
--- 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
index 64ffbff099a..07a2132939f 100644
--- 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
index 8ca5cb2eec0..9ab795081a6 100644
--- 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
index e5d0c66676b..1eeb7bf08a2 100644
--- 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
index 69a3dd6f07b..abfc88cd496 100644
--- 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}