mirror of
https://github.com/doomemacs/doomemacs.git
synced 2026-03-15 03:01:04 -07:00
680d135062
50ways2sayhard/dart-ts-mode@ab87873f25 -> 50ways2sayhard/dart-ts-mode@0e42336bf7 JuliaEditorSupport/julia-emacs@aadf29523a -> JuliaEditorSupport/julia-emacs@1478898ea0 agda/agda@5cf984c3d2 -> agda/agda@6310545817 bricka/emacs-kotlin-ts-mode@051c9ef534 -> bricka/emacs-kotlin-ts-mode@b318a64a7f clojure-emacs/cider@ae247d8845 -> clojure-emacs/cider@75dc57aebe clojure-emacs/clojure-mode@bddba12e96 -> clojure-emacs/clojure-mode@f44ea50308 clojure-emacs/clojure-ts-mode@96fdffcbe9 -> clojure-emacs/clojure-ts-mode@f47fefb5d7 cpitclaudel/company-coq@78ed04ce39 -> cpitclaudel/company-coq@1fc1d8f2d5 davazp/graphql-mode@ef757c6ce2 -> davazp/graphql-mode@d7f105a4bf emacs-jupyter/jupyter@de89cbeca8 -> emacs-jupyter/jupyter@242fdc709c emacs-lsp/lsp-dart@fd82395180 -> emacs-lsp/lsp-dart@166e4f2ba1 emacs-rustic/rustic@cb013cd217 -> emacs-rustic/rustic@eea94386bf emacs-straight/auctex@1939acb54b -> emacs-straight/auctex@f0c4b1dcc9 erlang/otp@f80e9c1c4a -> erlang/otp@ea2bfd02be hvesalai/emacs-sbt-mode@cc68728a6e -> hvesalai/emacs-sbt-mode@c353df6aa1 jrblevin/markdown-mode@9de2df5a9f -> jrblevin/markdown-mode@f8d1be7cd5 mekeor/nael@3ee1cf286d -> mekeor/nael@fbfb675736 nix-community/nix-emacs@053a2d5110 -> nix-community/nix-emacs@e241b58c9e nix-community/nix-ts-mode@625306cf9c -> nix-community/nix-ts-mode@3198317121 ocaml/dune@7a7d49206f -> ocaml/dune@141393af40 ocaml/merlin@1c4148af05 -> ocaml/merlin@fad4a2785c org-roam/org-roam@b4857fd7a1 -> org-roam/org-roam@7cd906b6f8 polymode/polymode@14b1fd8d2a -> polymode/polymode@4604f55cc0 rust-lang/rust-mode@f68ddca5c2 -> rust-lang/rust-mode@668069ad8b
15 lines
570 B
EmacsLisp
15 lines
570 B
EmacsLisp
;; -*- no-byte-compile: t; -*-
|
|
;;; lang/lean/packages.el
|
|
|
|
(when (modulep! +v3)
|
|
(package! lean-mode :pin "99d6a34dc5b12f6e996e9217fa9f6fe4a6af037a"))
|
|
|
|
(package! nael :pin "fbfb6757365cbde89d7ae0b56727315db15d31e4")
|
|
(when (and (modulep! +lsp)
|
|
(modulep! :tools lsp -eglot))
|
|
(package! nael-lsp
|
|
;; HACK: Upstream autoloads a `keymap-set' call on `nael-mode-map' but it's
|
|
;; unlikely `nael' will be loaded at that point.
|
|
;; REVIEW: Address this upstream!
|
|
:recipe (:build (:not autoloads))
|
|
:pin "fbfb6757365cbde89d7ae0b56727315db15d31e4"))
|