[isabelle-dev] Maintenance work on Jenkins VM

Lars Hupel hupel at in.tum.de
Mon Feb 1 13:57:26 CET 2016


> Native_Word should work again in 203deaf5208d (see also 61aeecc4093d),
> both with GHC 7.8 and GHC 7.10.

Build is still running, but looks like it's working again.

I'm pushing another item on my todo list: Print the relevant system
information (e.g. compiler versions) in the log.

Cheers
Lars



More information about the isabelle-dev mailing list