Request: add `lean4-mode` to `melpa`

leanprover-community / lean4-mode

Emacs major mode for Lean 4

https://leanprover.github.io/

Apache License 2.0

70 stars 28 forks source link

Open emeinhardt opened 2 years ago

emeinhardt commented 2 years ago

Per the [ nix-doom-emacs install instructions thread]https://github.com/leanprover/lean4-mode/issues/15#issuecomment-1156172981), I'd like to request that lean4-mode be added to melpa.

bollu commented 2 years ago

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

Kha commented 2 years ago

Great, thanks!

akirak commented 1 year ago

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

juhp commented 9 months ago

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 commented 4 months ago

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