Closed smondet closed 7 years ago
It llooks like it's only a findlib/opam package name or two that changed :)
Cf. https://github.com/ocaml/opam-repository/pull/9087
Fixed by #537.
smondet
commented
7 years ago smondet
commented
7 years ago
It llooks like it's only a findlib/opam package name or two that changed :)
Cf. https://github.com/ocaml/opam-repository/pull/9087