Merge pull request #28141 from liyishuai/patch-1

SETr 0.1.1 package conflict

Author: mseri

packages/setr/setr.0.1.1/opam

@@ -15,6 +15,9 @@ depends: [
   "mlbdd"
   "ocamlbuild" {build}
 ]
+depopts: [
+  "z3" {< "4.8"}
+]
 synopsis: "Abstract domain library for sets"
 description: """
 SETr is an interface for set abstractions. It defines common infrastructure for