Closed yomimono closed 7 years ago
Not sure this one is worth it, as it changes things inside the CHANGELOG
@avsm CentOS error is:
[WARNING] External solver failed with inconsistent return value. Request saved
to "/home/opam/.opam/log/solver-error-1-1.cudf"
[ERROR] External solver failure, please fix your installation and check
/home/opam/.opam/config and variable $OPAMEXTERNALSOLVER.
You may also retry with option --use-internal-solver
The command '/bin/sh -c opam update -u -y' returned a non-zero code: 66
Yeah, I don't want to retcon the changelogs; I didn't do enough babysitting of this script :(
the centos failure was transient -- solver.ocaml.io went down briefly
V1 is now Mirage_types, and V1_LWT is now Mirage_types_lwt, as of MirageOS version 3.0.0.