doom-emacs/modules/lang/lean/packages.el at 5c672b1d0e7e1f1dd7f9d03ae11a4bb1246f439a - yogsototh/doom-emacs - Yogsototh's code: Beyond coding. We Forge.

yogsototh/doom-emacs

Henrik Lissner 8c7991d3f0

bump: :lang elm fsharp haskell lean lua purescript solidity web zig

emacs-lsp/lsp-haskell@3249cde75f -> emacs-lsp/lsp-haskell@918ffa2516
emacsorphanage/helm-css-scss@48b996f73a -> emacsorphanage/helm-css-scss@2169d83d8f
ethereum/emacs-solidity@ddb4a901c3 -> ethereum/emacs-solidity@8ba549e429
fsharp/emacs-fsharp-mode@09fec6c91f -> fsharp/emacs-fsharp-mode@b4d31c3da0
fxbois/web-mode@df97ab62c9 -> fxbois/web-mode@57856ba64b
haskell/haskell-mode@a34ccdc54b -> haskell/haskell-mode@3e146c1a89
immerrr/lua-mode@ad639c62e3 -> immerrr/lua-mode@7eb8eaa420
jcollard/elm-mode@5797500d74 -> jcollard/elm-mode@699841865e
leanprover/lean-mode@362bc6fa3e -> leanprover/lean-mode@99d6a34dc5
nex3/haml-mode@bf5b6c11b1 -> nex3/haml-mode@fe83c65c1f
purescript-emacs/emacs-psci@95fb5d1403 -> purescript-emacs/emacs-psci@9bb6a32532
purescript-emacs/purescript-mode@cf113871f9 -> purescript-emacs/purescript-mode@eacc61aaaf
technomancy/fennel-mode@52da9715b0 -> technomancy/fennel-mode@8f721285e1
ziglang/zig-mode@9c5e41d6a0 -> ziglang/zig-mode@079149a19f

Close: #7344

2024-05-21 17:15:48 +02:00

7 lines

240 B

EmacsLisp

Raw Blame History

 ;; -*- no-byte-compile: t; -*-
 ;;; lang/lean/packages.el
 (package! lean-mode :pin "99d6a34dc5b12f6e996e9217fa9f6fe4a6af037a")
 (when (modulep! :completion company)
   (package! company-lean :pin "99d6a34dc5b12f6e996e9217fa9f6fe4a6af037a"))