[isabelle-dev] \nexists

Lars Hupel hupel at in.tum.de
Fri Jul 15 17:21:35 CEST 2016

> It is unclear if and how we could get this platform zoo back: it was
> rather accidental due to different administration regimes.

OpenSUSE: Maybe. I can check how well my Ansible scripts work there, but
no promises.

Gentoo: Unlikely.

macOS: Problematic because we currently have no appropriate hardware
available to hook into Jenkins. Apple just doesn't offer anything
suitable these days.


More information about the isabelle-dev mailing list