Zulip Chat Archive
Stream: lean4 dev
Topic: linux vs linux_x86/linux_aarch64
Chase Norman (Apr 16 2025 at 04:25):
What's the difference between the linux and linux_x86/linux_aarch64 builds of Lean?
Sebastian Ullrich (Apr 16 2025 at 08:18):
The first one is x86-64, unnamed for historical reasons
Chase Norman (Apr 16 2025 at 08:20):
Ah, meaning the linux_x86 is 32 bit?
Sebastian Ullrich (Apr 16 2025 at 08:23):
Yes!
Last updated: May 02 2025 at 03:31 UTC