emenel/doomemacs
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity
doomemacs/modules/lang/lean/packages.el

8 lines
241 B
EmacsLisp
Raw Normal View History

Add a module for the lean theorem prover Signed-off-by: Rudi Grinberg <rudi.grinberg@gmail.com>
2019-09-07 02:18:51 +09:00
;; -*- no-byte-compile: t; -*-
;;; lang/lean/packages.el
bump: :lang Emacs-Kotlin-Mode-Maintainers/kotlin-mode@876cc27dc105 -> Emacs-Kotlin-Mode-Maintainers/kotlin-mode@3e0c34087ba4 FStarLang/fstar-mode.el@3afbf04e4eb2 -> FStarLang/fstar-mode.el@c95c2a61a6c4 Fanael/edit-indirect@7fffd87ac3b0 -> Fanael/edit-indirect@e3d86416bcf8 Fuco1/sphinx-mode@b5ac514e2134 -> Fuco1/sphinx-mode@9d4075c106fc Groovy-Emacs-Modes/groovy-emacs-modes@84f89b68ec8f -> Groovy-Emacs-Modes/groovy-emacs-modes@bf732d367b16 NixOS/nix-mode@8e20de5ba706 -> NixOS/nix-mode@20ee8d88900b OCamlPro/ocp-indent@9e26c0a2699b -> OCamlPro/ocp-indent@7c4d434132ce ProofGeneral/PG@df19c7ba0ead -> ProofGeneral/PG@e1e29acb04f0 Raku/raku-mode@eaac071f1779 -> Raku/raku-mode@977b14a7c129 Sarcasm/irony-mode@5063d6b16d5d -> Sarcasm/irony-mode@870d1576fb27 agda/agda@2816605bfdc2 -> agda/agda@2816605bfdc2 amake/flutter.el@81c524a43c46 -> amake/flutter.el@08138f8c9548 ananthakumaran/exunit.el@5bb115f3270c -> ananthakumaran/exunit.el@0715c2dc2dca ananthakumaran/tide@28137ed904de -> ananthakumaran/tide@b93e555858ed asok/projectile-rails@30828afbfa7b -> asok/projectile-rails@772f4766b5d1 asok/rake@9c204334b03b -> asok/rake@452ea0caca33 brotzeit/rustic@f4b5c288af2a -> brotzeit/rustic@6eec9713876d cdominik/cdlatex@f215b70c5cb0 -> cdominik/cdlatex@8e963c68531f clojure-emacs/cider@36277802a47b -> clojure-emacs/cider@86dd3fee9d98 codesuki/add-node-modules-path@7d9be65b3be0 -> codesuki/add-node-modules-path@63f047fd84b8 crystal-lang-tools/emacs-crystal-mode@15998140b0a4 -> crystal-lang-tools/emacs-crystal-mode@96a8058205b2 cython/cython@5b325c98609a -> cython/cython@fdea2d6bed82 diml/utop@c87b8b2817ee -> diml/utop@5d72a0ab34bf dominikh/go-mode.el@32cbd78c0af2 -> dominikh/go-mode.el@3273fcece5d9 elixir-editors/emacs-elixir@6bbc1e5ac460 -> elixir-editors/emacs-elixir@e0d0466d83ec emacs-csharp/csharp-mode@9917e1b97d6a -> emacs-csharp/csharp-mode@856ecbc0a78a emacs-ess/ESS@a7ce81bb768d -> emacs-ess/ESS@39eba283000a emacs-geiser/geiser@c1cc4da1edc4 -> emacs-geiser/geiser@9507e81a0753 emacs-geiser/guile@cfd9116dcb24 -> emacs-geiser/guile@c641fcc50b6b emacs-lsp/lsp-dart@813d3c92db02 -> emacs-lsp/lsp-dart@fda433671f38 emacs-lsp/lsp-haskell@4e62cf897dd9 -> emacs-lsp/lsp-haskell@7cf64944ab3a emacs-lsp/lsp-java@ce03cb657456 -> emacs-lsp/lsp-java@0968038b9aea emacs-lsp/lsp-metals@695291761b2a -> emacs-lsp/lsp-metals@b7f77de69431 emacs-lsp/lsp-pyright@d428dbcf1802 -> emacs-lsp/lsp-pyright@3598bc7c47c2 emacs-php/php-mode@535aec81739e -> emacs-php/php-mode@5f26bec865ee emacs-php/phpactor.el@272217fbb6b7 -> emacs-php/phpactor.el@34195f153320 emacs-straight/auctex@3b0a080ae596 -> emacs-straight/auctex@830e40a0639a emacs-straight/csv-mode@8da54e8b4ef9 -> emacs-straight/csv-mode@43f6106f0d4e emacs-typescript/typescript.el@e82416205158 -> emacs-typescript/typescript.el@88f317f0b6ae erlang/otp@c1ab4b5424be -> erlang/otp@9ba9f6e60da1 ethereum/emacs-solidity@6f7bd1641e52 -> ethereum/emacs-solidity@20fb77e089e1 factor/factor@7b451bb813d2 -> factor/factor@1aeafdb87bb8 fsharp/emacs-fsharp-mode@c90d762c0692 -> fsharp/emacs-fsharp-mode@b3aa4c53fc9e fxbois/web-mode@61f057a6baeb -> fxbois/web-mode@efa853e5cfff godotengine/emacs-gdscript-mode@b7bfa6a3b294 -> godotengine/emacs-gdscript-mode@4badcf6a0c95 greghendershott/racket-mode@a879a8d67b06 -> greghendershott/racket-mode@af9b760e7bac hakimel/reveal.js@918ee5610a50 -> hakimel/reveal.js@e281b3234e79 haskell/haskell-mode@8402caa341d9 -> haskell/haskell-mode@cb573c8db5b8 hhvm/hack-mode@4c1c2b093970 -> hhvm/hack-mode@a522f61c088e technomancy/fennel-mode@47152970a987 -> https://git.sr.ht/~technomancy/fennel-mode@50ef3c6246f3 hvesalai/emacs-sbt-mode@e29464a82bf7 -> hvesalai/emacs-sbt-mode@9fe1e8807c22 hylang/hy-mode@5253533ddbd5 -> hylang/hy-mode@df814865a1fa idris-hackers/idris-mode@3cc9361b4c0c -> idris-hackers/idris-mode@65d6db1b7574 iyefrat/evil-tex@aa0ddf8e768a -> iyefrat/evil-tex@0fa85c3fc88d jcollard/elm-mode@f2e2d0053f32 -> jcollard/elm-mode@d4e434fa1857 joaotavora/sly@2e00c3bd4bdf -> joaotavora/sly@4513c382f07a jorgenschaefer/emacs-buttercup@1de6be465cfe -> jorgenschaefer/emacs-buttercup@f5cbf97e1086 joshwnj/json-mode@0e819e519ae1 -> joshwnj/json-mode@eedb4560034f jrblevin/markdown-mode@541bd7b48a4b -> jrblevin/markdown-mode@521658eb32e4 jschaf/powershell.el@d1b3f9566934 -> jschaf/powershell.el@ce1f0ae0b2e4 jwiegley/emacs-async@5d365ffc6a2c -> jwiegley/emacs-async@c78bab7506a7 leanprover/lean-mode@bf32bb97930e -> leanprover/lean-mode@c1c68cc946eb ledger/ledger-mode@19b84dc7664e -> ledger/ledger-mode@b55384d9cd14 necaris/conda.el@7a34e0693151 -> necaris/conda.el@9c28d7a853b4 nonsequitur/inf-ruby@03dd9c9d4e3f -> nonsequitur/inf-ruby@dbf4386bac12 ocaml-ppx/ocamlformat@22a3707da387 -> ocaml-ppx/ocamlformat@9324ea439a77 ocaml/dune@4d0a47edd53d -> ocaml/dune@4bc7629a5e76 ocaml/merlin@e4791e229869 -> ocaml/merlin@5d59c7065938 ocaml/tuareg@00faf47a7c65 -> ocaml/tuareg@04f5ab6be9ae osv/company-web@f0cc9187c9c3 -> osv/company-web@863fb84b81ed pashky/restclient.el@176d9cb6552f -> pashky/restclient.el@9e2cfa865291 pezra/rspec-mode@92ef785010f6 -> pezra/rspec-mode@4215ff1f2d1c polymode/polymode@54888d6c1524 -> polymode/polymode@2094c92403fe seagle0128/grip-mode@9220a560b4ac -> seagle0128/grip-mode@6b427143a8f6 sebasmonia/sharper@08277b6c3056 -> sebasmonia/sharper@96edd4a1dbc2 stan-dev/stan-mode@9bb858b9f131 -> stan-dev/stan-mode@150bbbe5fd3a swift-emacs/swift-mode@800efe2910e0 -> swift-emacs/swift-mode@0d1ef0ef1833 tpapp/julia-repl@e90b1ed2cc80 -> tpapp/julia-repl@6c1d63511fb2 wbolster/emacs-python-pytest@b603c5c7f21d -> wbolster/emacs-python-pytest@ea53891a2196 yoshiki/yaml-mode@63b637f84641 -> yoshiki/yaml-mode@535273d5a1eb ziglang/zig-mode@aba01b6199b7 -> ziglang/zig-mode@aa20d630b8c4 - Refactors the :lang rust module to reflect changes upstream, in rustic (thanks to #6154). Close: #6154 Fix: #6070
2022-03-31 21:01:55 +02:00
(package! lean-mode :pin "c1c68cc946eb31b6ba8faefdceffce1f77ca52df")
Add a module for the lean theorem prover Signed-off-by: Rudi Grinberg <rudi.grinberg@gmail.com>
2019-09-07 02:18:51 +09:00
(when (featurep! :completion company)
bump: :lang Emacs-Kotlin-Mode-Maintainers/kotlin-mode@876cc27dc105 -> Emacs-Kotlin-Mode-Maintainers/kotlin-mode@3e0c34087ba4 FStarLang/fstar-mode.el@3afbf04e4eb2 -> FStarLang/fstar-mode.el@c95c2a61a6c4 Fanael/edit-indirect@7fffd87ac3b0 -> Fanael/edit-indirect@e3d86416bcf8 Fuco1/sphinx-mode@b5ac514e2134 -> Fuco1/sphinx-mode@9d4075c106fc Groovy-Emacs-Modes/groovy-emacs-modes@84f89b68ec8f -> Groovy-Emacs-Modes/groovy-emacs-modes@bf732d367b16 NixOS/nix-mode@8e20de5ba706 -> NixOS/nix-mode@20ee8d88900b OCamlPro/ocp-indent@9e26c0a2699b -> OCamlPro/ocp-indent@7c4d434132ce ProofGeneral/PG@df19c7ba0ead -> ProofGeneral/PG@e1e29acb04f0 Raku/raku-mode@eaac071f1779 -> Raku/raku-mode@977b14a7c129 Sarcasm/irony-mode@5063d6b16d5d -> Sarcasm/irony-mode@870d1576fb27 agda/agda@2816605bfdc2 -> agda/agda@2816605bfdc2 amake/flutter.el@81c524a43c46 -> amake/flutter.el@08138f8c9548 ananthakumaran/exunit.el@5bb115f3270c -> ananthakumaran/exunit.el@0715c2dc2dca ananthakumaran/tide@28137ed904de -> ananthakumaran/tide@b93e555858ed asok/projectile-rails@30828afbfa7b -> asok/projectile-rails@772f4766b5d1 asok/rake@9c204334b03b -> asok/rake@452ea0caca33 brotzeit/rustic@f4b5c288af2a -> brotzeit/rustic@6eec9713876d cdominik/cdlatex@f215b70c5cb0 -> cdominik/cdlatex@8e963c68531f clojure-emacs/cider@36277802a47b -> clojure-emacs/cider@86dd3fee9d98 codesuki/add-node-modules-path@7d9be65b3be0 -> codesuki/add-node-modules-path@63f047fd84b8 crystal-lang-tools/emacs-crystal-mode@15998140b0a4 -> crystal-lang-tools/emacs-crystal-mode@96a8058205b2 cython/cython@5b325c98609a -> cython/cython@fdea2d6bed82 diml/utop@c87b8b2817ee -> diml/utop@5d72a0ab34bf dominikh/go-mode.el@32cbd78c0af2 -> dominikh/go-mode.el@3273fcece5d9 elixir-editors/emacs-elixir@6bbc1e5ac460 -> elixir-editors/emacs-elixir@e0d0466d83ec emacs-csharp/csharp-mode@9917e1b97d6a -> emacs-csharp/csharp-mode@856ecbc0a78a emacs-ess/ESS@a7ce81bb768d -> emacs-ess/ESS@39eba283000a emacs-geiser/geiser@c1cc4da1edc4 -> emacs-geiser/geiser@9507e81a0753 emacs-geiser/guile@cfd9116dcb24 -> emacs-geiser/guile@c641fcc50b6b emacs-lsp/lsp-dart@813d3c92db02 -> emacs-lsp/lsp-dart@fda433671f38 emacs-lsp/lsp-haskell@4e62cf897dd9 -> emacs-lsp/lsp-haskell@7cf64944ab3a emacs-lsp/lsp-java@ce03cb657456 -> emacs-lsp/lsp-java@0968038b9aea emacs-lsp/lsp-metals@695291761b2a -> emacs-lsp/lsp-metals@b7f77de69431 emacs-lsp/lsp-pyright@d428dbcf1802 -> emacs-lsp/lsp-pyright@3598bc7c47c2 emacs-php/php-mode@535aec81739e -> emacs-php/php-mode@5f26bec865ee emacs-php/phpactor.el@272217fbb6b7 -> emacs-php/phpactor.el@34195f153320 emacs-straight/auctex@3b0a080ae596 -> emacs-straight/auctex@830e40a0639a emacs-straight/csv-mode@8da54e8b4ef9 -> emacs-straight/csv-mode@43f6106f0d4e emacs-typescript/typescript.el@e82416205158 -> emacs-typescript/typescript.el@88f317f0b6ae erlang/otp@c1ab4b5424be -> erlang/otp@9ba9f6e60da1 ethereum/emacs-solidity@6f7bd1641e52 -> ethereum/emacs-solidity@20fb77e089e1 factor/factor@7b451bb813d2 -> factor/factor@1aeafdb87bb8 fsharp/emacs-fsharp-mode@c90d762c0692 -> fsharp/emacs-fsharp-mode@b3aa4c53fc9e fxbois/web-mode@61f057a6baeb -> fxbois/web-mode@efa853e5cfff godotengine/emacs-gdscript-mode@b7bfa6a3b294 -> godotengine/emacs-gdscript-mode@4badcf6a0c95 greghendershott/racket-mode@a879a8d67b06 -> greghendershott/racket-mode@af9b760e7bac hakimel/reveal.js@918ee5610a50 -> hakimel/reveal.js@e281b3234e79 haskell/haskell-mode@8402caa341d9 -> haskell/haskell-mode@cb573c8db5b8 hhvm/hack-mode@4c1c2b093970 -> hhvm/hack-mode@a522f61c088e technomancy/fennel-mode@47152970a987 -> https://git.sr.ht/~technomancy/fennel-mode@50ef3c6246f3 hvesalai/emacs-sbt-mode@e29464a82bf7 -> hvesalai/emacs-sbt-mode@9fe1e8807c22 hylang/hy-mode@5253533ddbd5 -> hylang/hy-mode@df814865a1fa idris-hackers/idris-mode@3cc9361b4c0c -> idris-hackers/idris-mode@65d6db1b7574 iyefrat/evil-tex@aa0ddf8e768a -> iyefrat/evil-tex@0fa85c3fc88d jcollard/elm-mode@f2e2d0053f32 -> jcollard/elm-mode@d4e434fa1857 joaotavora/sly@2e00c3bd4bdf -> joaotavora/sly@4513c382f07a jorgenschaefer/emacs-buttercup@1de6be465cfe -> jorgenschaefer/emacs-buttercup@f5cbf97e1086 joshwnj/json-mode@0e819e519ae1 -> joshwnj/json-mode@eedb4560034f jrblevin/markdown-mode@541bd7b48a4b -> jrblevin/markdown-mode@521658eb32e4 jschaf/powershell.el@d1b3f9566934 -> jschaf/powershell.el@ce1f0ae0b2e4 jwiegley/emacs-async@5d365ffc6a2c -> jwiegley/emacs-async@c78bab7506a7 leanprover/lean-mode@bf32bb97930e -> leanprover/lean-mode@c1c68cc946eb ledger/ledger-mode@19b84dc7664e -> ledger/ledger-mode@b55384d9cd14 necaris/conda.el@7a34e0693151 -> necaris/conda.el@9c28d7a853b4 nonsequitur/inf-ruby@03dd9c9d4e3f -> nonsequitur/inf-ruby@dbf4386bac12 ocaml-ppx/ocamlformat@22a3707da387 -> ocaml-ppx/ocamlformat@9324ea439a77 ocaml/dune@4d0a47edd53d -> ocaml/dune@4bc7629a5e76 ocaml/merlin@e4791e229869 -> ocaml/merlin@5d59c7065938 ocaml/tuareg@00faf47a7c65 -> ocaml/tuareg@04f5ab6be9ae osv/company-web@f0cc9187c9c3 -> osv/company-web@863fb84b81ed pashky/restclient.el@176d9cb6552f -> pashky/restclient.el@9e2cfa865291 pezra/rspec-mode@92ef785010f6 -> pezra/rspec-mode@4215ff1f2d1c polymode/polymode@54888d6c1524 -> polymode/polymode@2094c92403fe seagle0128/grip-mode@9220a560b4ac -> seagle0128/grip-mode@6b427143a8f6 sebasmonia/sharper@08277b6c3056 -> sebasmonia/sharper@96edd4a1dbc2 stan-dev/stan-mode@9bb858b9f131 -> stan-dev/stan-mode@150bbbe5fd3a swift-emacs/swift-mode@800efe2910e0 -> swift-emacs/swift-mode@0d1ef0ef1833 tpapp/julia-repl@e90b1ed2cc80 -> tpapp/julia-repl@6c1d63511fb2 wbolster/emacs-python-pytest@b603c5c7f21d -> wbolster/emacs-python-pytest@ea53891a2196 yoshiki/yaml-mode@63b637f84641 -> yoshiki/yaml-mode@535273d5a1eb ziglang/zig-mode@aba01b6199b7 -> ziglang/zig-mode@aa20d630b8c4 - Refactors the :lang rust module to reflect changes upstream, in rustic (thanks to #6154). Close: #6154 Fix: #6070
2022-03-31 21:01:55 +02:00
(package! company-lean :pin "c1c68cc946eb31b6ba8faefdceffce1f77ca52df"))
Reference in a new issue Copy permalink