File tree Expand file tree Collapse file tree 5 files changed +5
-5
lines changed
Expand file tree Collapse file tree 5 files changed +5
-5
lines changed Original file line number Diff line number Diff line change @@ -11,7 +11,7 @@ depends: [
1111 "cmdliner" {>= "1.1.0"}
1212 "dune-build-info"
1313 "cppo" {build}
14- "ppxlib" {dev }
14+ "ppxlib" {>= "0.36" }
1515 "menhir" {>= "20201214"}
1616 "odoc" {with-doc}
1717]
Original file line number Diff line number Diff line change @@ -11,7 +11,7 @@ depends: [
1111 "cmdliner" {>= "1.1.0"}
1212 "dune-build-info"
1313 "cppo" {build}
14- "ppxlib" {dev }
14+ "ppxlib" {>= "0.36" }
1515 "menhir" {>= "20201214"}
1616 "odoc" {with-doc}
1717]
Original file line number Diff line number Diff line change @@ -11,7 +11,7 @@ depends: [
1111 "cmdliner" {>= "1.1.0"}
1212 "dune-build-info"
1313 "cppo" {build}
14- "ppxlib" {dev }
14+ "ppxlib" {>= "0.36" }
1515 "menhir" {>= "20201214"}
1616 "odoc" {with-doc}
1717]
Original file line number Diff line number Diff line change @@ -11,7 +11,7 @@ depends: [
1111 "cmdliner" {>= "1.1.0"}
1212 "dune-build-info"
1313 "cppo" {build}
14- "ppxlib" {dev }
14+ "ppxlib" {>= "0.36" }
1515 "menhir" {>= "20201214"}
1616 "odoc" {with-doc}
1717]
Original file line number Diff line number Diff line change @@ -11,7 +11,7 @@ depends: [
1111 "cmdliner" {>= "1.1.0"}
1212 "dune-build-info"
1313 "cppo" {build}
14- "ppxlib" {dev }
14+ "ppxlib" {>= "0.36" }
1515 "menhir" {>= "20201214"}
1616 "odoc" {with-doc}
1717]
You can’t perform that action at this time.
0 commit comments