Closed jmid closed 10 months ago
Drive-by-issue: I just spotted that ppx_deriving_qcheck requires qcheck https://github.com/c-cube/qcheck/blob/063c1d74795a24eb77fa661d218c4715382df566/ppx_deriving_qcheck.opam#L13 It should be sufficient to require qcheck-core though.
ppx_deriving_qcheck
qcheck
qcheck-core
Drive-by-issue: I just spotted that
ppx_deriving_qcheck
requiresqcheck
https://github.com/c-cube/qcheck/blob/063c1d74795a24eb77fa661d218c4715382df566/ppx_deriving_qcheck.opam#L13 It should be sufficient to requireqcheck-core
though.