Zulip Chat Archive

Stream: lean4

Topic: musl binaries

Stefano Volpe (Nov 20 2023 at 22:19):

Lean4 only releases glibc binaries. No musl binaries. @Sebastian Ullrich suggested opening a new (low priority) issue. Anybody else on a musl distribution?

Stefano Volpe (Nov 20 2023 at 22:23):

Relevant issue: https://github.com/leanprover/lean4/issues/2931

Bulhwi Cha (Nov 21 2023 at 10:45):

I'm thinking of installing Alpine Linux on an old laptop when I can find time.

Stefano Volpe (Nov 21 2023 at 13:47):

my daily driver has been alpine for almost one year now. Love it! I was on void linux before

Last updated: Dec 20 2023 at 11:08 UTC