Zulip Chat Archive
Stream: new members
Topic: package configuration '.\lakefile.lean' has errors
Eric Wieser (Jul 08 2022 at 12:05):
I've moved this to a new topic; the previous question was by a different user, Kevin
Last updated: May 02 2025 at 03:31 UTC