Distribute in Melpa package-archive

[emeinhardt]

Per the [ nix-doom-emacs install instructions thread]#15 (comment)), I'd like to request that lean4-mode be added to melpa.

[bollu]

@Kha I opened a draft PR over at melpa to add lean4-mode: melpa/melpa#8106 . Does this work for you?

[Kha]

Great, thanks!

[akirak]

There are many change requests in the PR. If you are interested, I can help you with resolving those warnings.

[juhp]

BTW from the readme one gets the impression that the package is already in Melpa which is not the case.... quite confusing.

[t-c-acc]

Thought this should be mentioned here: melpa/melpa#9098

[mekeor]

My understanding is that Lean4-Mode won't be added to Melpa until it does not depend on lsp-mode. That's why this issue is planned for milestone 4.