Unknown package: lean 3.41.0
Couldn't find any package named lean 3.41.0
. But you can do the following:
- Ask around if there's anyone working on packaging it (see Guix communication channels).
- Take this opportunity to learn how to package things for Guix (see how to submit packages to Guix).