Merge pull request ocaml#24752 from Deducteam/pratter

lambdapi: add upper bound on pratter

Author: mseri

packages/lambdapi/lambdapi.2.2.1/opam

@@ -52,9 +52,9 @@ depends: [
   "sedlex" {>= "2.2"}
   "alcotest" {with-test}
   "dedukti" {with-test & >= "2.7"}
-  "bindlib" {>= "5.0.1"}
+  "bindlib" {>= "6.0.0"}
   "timed" {>= "1.0"}
-  "pratter" {>= "2.0.0"}
+  "pratter" {>= "2.0.0" & < "3"}
   "camlp-streams" {>= "5.0"}
   "why3" {>= "1.5.0" & < "1.6~"}
   "yojson" {>= "1.6.0"}

packages/lambdapi/lambdapi.2.3.0/opam

@@ -54,7 +54,7 @@ depends: [
   "dedukti" {with-test & >= "2.7"}
   "bindlib" {>= "6.0.0"}
   "timed" {>= "1.0"}
-  "pratter" {>= "2.0.0"}
+  "pratter" {>= "2.0.0" & < "3"}
   "camlp-streams" {>= "5.0"}
   "why3" {>= "1.5.0" & < "1.6~"}
   "yojson" {>= "1.6.0"}

packages/lambdapi/lambdapi.2.3.1/opam

@@ -54,7 +54,7 @@ depends: [
   "dedukti" {with-test & >= "2.7"}
   "bindlib" {>= "6.0.0"}
   "timed" {>= "1.0"}
-  "pratter" {>= "2.0.0"}
+  "pratter" {>= "2.0.0" & < "3"}
   "camlp-streams" {>= "5.0"}
   "why3" {>= "1.6.0" & < "1.7~"}
   "yojson" {>= "1.6.0"}

packages/lambdapi/lambdapi.2.4.0/opam

@@ -54,7 +54,7 @@ depends: [
   "dedukti" {with-test & >= "2.7"}
   "bindlib" {>= "6.0.0"}
   "timed" {>= "1.0"}
-  "pratter" {>= "2.0.0"}
+  "pratter" {>= "2.0.0" & < "3"}
   "camlp-streams" {>= "5.0"}
   "why3" {>= "1.6.0" & < "1.7~"}
   "yojson" {>= "1.6.0"}