Merge pull request #21990 from kit-ty-kate/fstar-ppxlib-026

fstar is not compatible with ppxlib >= 0.26.0

Author: kit-ty-kate

packages/fstar/fstar.2021.06.06/opam

@@ -21,7 +21,7 @@ depends: [
   "menhir" {build & >= "20161115"}
   "pprint" {build & >= "20130324" & <= "20211129"}
   "sedlex" {build & >= "2.0" & < "2.4"}
-  "ppxlib" {>= "0.22.0"}
+  "ppxlib" {>= "0.22.0" & < "0.26.0"}
   "ppx_deriving"
   "ppx_deriving_yojson"
   "process"

packages/fstar/fstar.2022.01.15/opam

@@ -21,7 +21,7 @@ depends: [
   "menhir" {build & >= "20161115"}
   "pprint" {build & >= "20130324"}
   "sedlex" {build & >= "2.0"}
-  "ppxlib" {>= "0.22.0"}
+  "ppxlib" {>= "0.22.0" & < "0.26.0"}
   "ppx_deriving"
   "ppx_deriving_yojson"
   "process"