Thanks for the suggestion. In fact if I issue: brew install ARMmbed/homebrew-formulae/arm-none-eabi-gcc
Login to my github account get requests on the cli (!?). But if I do a: brew tap ARMmbed/homebrew-formulae/ brew install arm-none-eabi-gcc Any idea about what may be going on ? Best, Daniel _______________________________________________ opam-devel mailing list [email protected] http://lists.ocaml.org/listinfo/opam-devel
