Hi Nicolas,
Le 08 septembre 2018 à 02h27, Nicolas Braud-Santoni disait :
> Can you try giving the flag --use-internal-solver to opam ?
I had tried but the internal solver seems to be disabled.
--- 8< ---
<><> Creating initial switch (ocaml-system>=4.02.3) <><><><><><><><><><><><><><>
[ERROR] No available solver found. Make sure your solver configuration is
correct. This opam has been compiled
without a built-in solver, so you need to install and configure an
external one. See
http://opam.ocaml.org/doc/Install.html#ExternalSolvers for details.
--- >8 ---
Best,
Samuel
