It seems the only reason there was still a dependency on the opam-state library was because OpamConsole.log was called. However I don't think this is necessary, ~the case where it is needed should not happen anyway~ EDIT: it happens but I don't see why we'd need to log this.
It seems the only reason there was still a dependency on the
opam-state
library was becauseOpamConsole.log
was called. However I don't think this is necessary, ~the case where it is needed should not happen anyway~ EDIT: it happens but I don't see why we'd need to log this.