Merge pull request #27886 from ocaml/tcsprojects/release-tcslib-v0.5

Author: shonfeder

packages/pgsolver/pgsolver.4.1/opam

@@ -19,7 +19,7 @@ remove: [
 ]
 depends: [
   "ocaml" {>= "4.05.0" & < "5.0"}
-  "TCSLib" {>= "0.2"}
+  "TCSLib" {>= "0.2" & < "0.5"}
   ("extlib" | "extlib-compat")
   "minisat"
   "ocaml-sat-solvers" {<= "0.4"}

packages/pgsolver/pgsolver.4.3/opam

@@ -19,7 +19,7 @@ remove: [
 ]
 depends: [
   "ocaml" {>= "4.08.0" & < "5.0"}
-  "TCSLib" {>= "0.2"}
+  "TCSLib" {>= "0.2" & < "0.5"}
   "extlib" | "extlib-compat"
   "minisat"
   "ocaml-sat-solvers" {>= "0.7.1"}