emenel/doomemacs
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity

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

Browse source 
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
This commit is contained in:
Henrik Lissner 2023-08-18 23:06:23 +02:00
parent 5155f4aa78
commit 5bb59ad4b0
No known key found for this signature in database
GPG key ID: B60957CA074D39A3
9 changed files with 15 additions and 15 deletions
Download patch file Download diff file Expand all files Collapse all files

4
modules/lang/lean/packages.el
View file

@ -1,7 +1,7 @@
;; -*- no-byte-compile: t; -*-
;;; lang/lean/packages.el
(package! lean-mode :pin "362bc6fa3efb1874c525ed6b4b6f24f76af22596")
(package! lean-mode :pin "99d6a34dc5b12f6e996e9217fa9f6fe4a6af037a")
(when (modulep! :completion company)
(package! company-lean :pin "362bc6fa3efb1874c525ed6b4b6f24f76af22596"))
(package! company-lean :pin "99d6a34dc5b12f6e996e9217fa9f6fe4a6af037a"))