this repo has no description

fstar is not compatible with ppxlib >= 0.26.0

Kate 0bc0184d 6f5fc584

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"