this repo has no description

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

fstar is not compatible with ppxlib >= 0.26.0

Kate 1f822c5a abb5a312

Changed files
+2 -2
packages
fstar
fstar.2021.06.06
fstar.2022.01.15
+1 -1
packages/fstar/fstar.2021.06.06/opam
···
"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"
+1 -1
packages/fstar/fstar.2022.01.15/opam
···
"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"