[isabelle-dev] \nexists

[Lars Hupel]

> 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.


Cheers
Lars