[isabelle-dev] NEWS: support for GHC

Lars Hupel hupel at in.tum.de
Sun Oct 21 22:18:51 CEST 2018


> Can you actually explain the problem and its solution?

The problem appears to be that the official Stack binaries do not work
consistently on El Capitan. The machine I've tried them on is fully
updated and has no special software setup.

The binary provided by Homebrew does not exhibit that problem. I have no
other information beyond that.



More information about the isabelle-dev mailing list