Closed ghost closed 1 year ago
We need ppxlib >= 0.18.0 rather than < 0.18.0.
/cc @aalekseyev
Fixed (we moved to >= 0.28.0 now).
We need ppxlib >= 0.18.0 rather than < 0.18.0.
/cc @aalekseyev