Architecture problem

[Lawrence Paulson]

Thanks. I surely hope that we have ARM versions of all of those.

Larry
On 21 Oct 2025 at 19:28 +0100, Makarius <makarius at sketis.net>, wrote:

That means me need to make more efforts to phase out remaining x86_64-darwin
executables, of some external tools. In particular:

- spass
- vampire
- verit
- smbc
- zipperposition
- z3
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://mailman46.in.tum.de/pipermail/isabelle-dev/attachments/20251021/9a4036f9/attachment.htm>