[opam-devel] depexts homebrew taps

Daniel Bünzli daniel.buenzli at erratique.ch
Thu Oct 1 18:27:09 BST 2015

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 ? 



More information about the opam-devel mailing list