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

6 lines
201 B
EmacsLisp
Raw Normal View History

Added basic coq support
2018-08-14 23:21:55 +02:00
;; -*- no-byte-compile: t; -*-
;;; lang/coq/packages.el
Bump :lang 200ok-ch/counsel-jq@f5bfed8 -> 200ok-ch/counsel-jq@153d70b Andersbakken/rtags@63a7d9b -> Andersbakken/rtags@aa4c827 MatthewFluet/company-mlton@b87e363 -> MatthewFluet/company-mlton@9b09d20 NixOS/nix-mode@e32c6bf -> NixOS/nix-mode@0023fc5 OmniSharp/omnisharp-emacs@e26ff8b -> OmniSharp/omnisharp-emacs@8ec5929 ProofGeneral/PG@702f5b9 -> ProofGeneral/PG@bdb6782 Wilfred/elisp-def@da1f763 -> Wilfred/elisp-def@dfca043 agda/agda@5070bd8 -> agda/agda@9d08edb ananthakumaran/exunit.el@c77b039 -> ananthakumaran/exunit.el@5bb115f ananthakumaran/tide@a43a37b -> ananthakumaran/tide@7f7334b asok/projectile-rails@7a256b1 -> asok/projectile-rails@8d6b373 brotzeit/rustic@f7d5ac0 -> brotzeit/rustic@61d600e clojure-emacs/cider@1a34f89 -> clojure-emacs/cider@815204f clojure-emacs/clj-refactor.el@9dcc50d -> clojure-emacs/clj-refactor.el@b24ce76 clojure-emacs/clojure-mode@53ef8ac -> clojure-emacs/clojure-mode@f26379b crystal-lang-tools/emacs-crystal-mode@f9e4db1 -> crystal-lang-tools/emacs-crystal-mode@1599814 cython/cython@17e03b8 -> cython/cython@9a761a6 dgutov/robe@f04dcc7 -> dgutov/robe@3ef165c diml/utop@7bc5117) -> diml/utop@a5ff52b) dominikh/go-mode.el@fdf46fe -> dominikh/go-mode.el@49a5380 elixir-editors/emacs-elixir@b78e7f7 -> elixir-editors/emacs-elixir@9de08c1 emacs-csharp/csharp-mode@4916829 -> emacs-csharp/csharp-mode@09b4d57 emacs-ess/ESS@d013616 -> emacs-ess/ESS@5169b0d emacs-lsp/lsp-dart@b81b1ec -> emacs-lsp/lsp-dart@71902ca emacs-lsp/lsp-haskell@4d85cb3 -> emacs-lsp/lsp-haskell@7efbef3 emacs-lsp/lsp-java@f43b00a -> emacs-lsp/lsp-java@5f6d357 emacs-lsp/lsp-metals@31dafff -> emacs-lsp/lsp-metals@c76eeb6 emacs-lsp/lsp-pyright@71ff088 -> emacs-lsp/lsp-pyright@65fb141 emacs-lsp/lsp-python-ms@5470ada -> emacs-lsp/lsp-python-ms@689f6cf emacs-lsp/lsp-sourcekit@948c3a3 -> emacs-lsp/lsp-sourcekit@ff204ed emacs-php/php-mode@7e5722c -> emacs-php/php-mode@8cdc727 emacs-straight/auctex@fb062a3 -> emacs-straight/auctex@384c4b9 emacs-straight/csv-mode@eb3ec00 -> emacs-straight/csv-mode@8da54e8 emacs-straight/org-mode@9e98e9a -> emacs-straight/org-mode@0b117f7 emacs-typescript/typescript.el@54f14c4 -> emacs-typescript/typescript.el@1043025 emacsmirror/cmake-mode@e58c411 -> emacsmirror/cmake-mode@d5d77de ericdallo/hover.el@3f07a18 -> ericdallo/hover.el@c9c0593 erlang/otp@8fc0641 -> erlang/otp@af06b43 eschulte/jump.el@e4f1372 -> eschulte/jump.el@55caa66 ethereum/emacs-solidity@d166a86 -> ethereum/emacs-solidity@b4fd719 factor/factor@94a922a -> factor/factor@1928e60 fsharp/emacs-fsharp-mode@13fbf4c -> fsharp/emacs-fsharp-mode@78898a1 fxbois/web-mode@890e837 -> fxbois/web-mode@8ef4793 godotengine/emacs-gdscript-mode@75fe658 -> godotengine/emacs-gdscript-mode@16c631c greghendershott/racket-mode@3563081 -> greghendershott/racket-mode@75ea8f6 haskell/haskell-mode@0d39c84 -> haskell/haskell-mode@3a019e6 hhvm/hack-mode@9079bc3) -> hhvm/hack-mode@847fd91) hvesalai/emacs-scala-mode@9d3b56e -> hvesalai/emacs-scala-mode@402d6df idris-hackers/idris-mode@b77eadd -> idris-hackers/idris-mode@80aabd2 immerrr/lua-mode@d2ff304 -> immerrr/lua-mode@2d9a468 iyefrat/evil-tex@ac313ef -> iyefrat/evil-tex@5f0d6fb jaor/geiser@cd00be6 -> jaor/geiser@26dd2f4 jcollard/elm-mode@363da4b -> jcollard/elm-mode@188b9c7 joaotavora/sly@3278819 -> joaotavora/sly@fb84318 jorgenschaefer/emacs-buttercup@2f24a44 -> jorgenschaefer/emacs-buttercup@1de6be4 jrblevin/markdown-mode@dcad557 -> jrblevin/markdown-mode@0517340 jwiegley/emacs-async@14f48de -> jwiegley/emacs-async@d7e7f79 jyp/attrap@9c88154 -> jyp/attrap@778382e jyp/dante@e2acbf6 -> jyp/dante@7b1ab64 kaushalmodi/ox-hugo@04f41ca -> kaushalmodi/ox-hugo@a05667e leanprover/lean-mode@cc1f5fa -> leanprover/lean-mode@15bee87 ledger/ledger-mode@805507f -> ledger/ledger-mode@3495d12 mooz/js2-mode@f7816bd -> mooz/js2-mode@29979e5 nonsequitur/inf-ruby@b012457 -> nonsequitur/inf-ruby@1fc972e ocaml-ppx/ocamlformat@860266b -> ocaml-ppx/ocamlformat@7db8d13 ocaml/dune@4d097cd -> ocaml/dune@f839fc1 ocaml/merlin@28193d5 -> ocaml/merlin@36d0aef pezra/rspec-mode@f1029ca -> pezra/rspec-mode@92ef785 polymode/poly-R@51ffeb6 -> polymode/poly-R@c42ff3a polymode/polymode@3284ff1 -> polymode/polymode@b3871e9 purescript-emacs/psc-ide-emacs@663f4e2 -> purescript-emacs/psc-ide-emacs@ce97d71 purescript-emacs/purescript-mode@154ad16 -> purescript-emacs/purescript-mode@8410baf pwalsh/pipenv.el@f516a1a -> pwalsh/pipenv.el@8f50c68 pythonic-emacs/anaconda-mode@b1875a5 -> pythonic-emacs/anaconda-mode@081f9d8 racer-rust/emacs-racer@a0bdf77 -> racer-rust/emacs-racer@f17f9d7 rubocop-hq/rubocop-emacs@03bf155 -> rubocop-hq/rubocop-emacs@1372ee3 seagle0128/grip-mode@91da46f -> seagle0128/grip-mode@1aebf9c senny/rvm.el@b2498a4 -> senny/rvm.el@c1f2642 swift-emacs/swift-mode@0bc8d8d -> swift-emacs/swift-mode@95ff004 takaxp/org-tree-slide@04b5a9d -> takaxp/org-tree-slide@c9487e5 technomancy/fennel-mode@fa56106 -> technomancy/fennel-mode@bebc9dd tpapp/julia-repl@d073acb -> tpapp/julia-repl@7ce38a9 wbolster/emacs-python-pytest@3fadf1f -> wbolster/emacs-python-pytest@31ae5e0 wwwjfy/emacs-fish@db257db -> wwwjfy/emacs-fish@a7c953b Fix #4695 Close #4529 Close #4576
2021-02-25 10:33:20 -05:00
(package! proof-general :pin "bdb67820696b2bfec06fda72f2a39548c73dcaf7")
Bump :lang 200ok-ch/counsel-jq@104c77b -> 200ok-ch/counsel-jq@f5bfed8 Andersbakken/rtags@e6c7005 -> Andersbakken/rtags@63a7d9b FStarLang/fstar-mode.el@5670fc0 -> FStarLang/fstar-mode.el@3afbf04 Kungsgeten/org-brain@6e3d861) -> Kungsgeten/org-brain@1ae4fd4) NixOS/nix-mode@bb0b49e -> NixOS/nix-mode@e32c6bf OVYA/php-cs-fixer@95eace9 -> OVYA/php-cs-fixer@c5b5d8a ProofGeneral/PG@0fdb1ae -> ProofGeneral/PG@702f5b9 Sarcasm/irony-mode@1e1aaba -> Sarcasm/irony-mode@76fd37f abicky/nodejs-repl.el@f5ce3d5 -> abicky/nodejs-repl.el@3b84105 agda/agda@08191e6 -> agda/agda@5070bd8 amake/flutter.el@78b3c57 -> amake/flutter.el@696228a ananthakumaran/tide@ac5f070 -> ananthakumaran/tide@a43a37b arnested/php-extras@81ebd7c -> arnested/php-extras@d410c5a borkdude/flycheck-clj-kondo@152df7f -> borkdude/flycheck-clj-kondo@a558bda brotzeit/rustic@7c9d55b -> brotzeit/rustic@91ad5db chachi/cuda-mode@9ae9eac -> chachi/cuda-mode@7f59351 clojure-emacs/cider@f1c2a79 -> clojure-emacs/cider@ef47c1d clojure-emacs/clojure-mode@75c2889 -> clojure-emacs/clojure-mode@53ef8ac cpitclaudel/company-coq@b096cb5 -> cpitclaudel/company-coq@4da7b41 cython/cython@ba6cbed -> cython/cython@21b4e53 dgutov/robe@082da38 -> dgutov/robe@f04dcc7 dominikh/go-mode.el@d17d210 -> dominikh/go-mode.el@fdf46fe dominikh/go-mode.el@d17d210 -> dominikh/go-mode.el@fdf46fe elixir-editors/emacs-elixir@01b3324 -> elixir-editors/emacs-elixir@b78e7f7 emacs-ess/ESS@a694b26 -> emacs-ess/ESS@d013616 emacs-lsp/lsp-dart@c1ff5ce -> emacs-lsp/lsp-dart@b81b1ec emacs-lsp/lsp-java@3f1ed17 -> emacs-lsp/lsp-java@f43b00a emacs-lsp/lsp-metals@e42c0b2) -> emacs-lsp/lsp-metals@31dafff) emacs-lsp/lsp-pyright@ccd0007 -> emacs-lsp/lsp-pyright@d9e7d3c emacs-lsp/lsp-python-ms@a0c56f4 -> emacs-lsp/lsp-python-ms@c4ebc7a emacs-php/php-mode@f4c7c69 -> emacs-php/php-mode@7e5722c emacs-straight/adaptive-wrap@319db64 -> emacs-straight/adaptive-wrap@8f60ee7 emacs-straight/csv-mode@6353374 -> emacs-straight/csv-mode@eb3ec00 emacs-straight/org-mode@a88806b -> emacs-straight/org-mode@7c8dce7 emacs-straight/rainbow-mode@fdff98b -> emacs-straight/rainbow-mode@949166c emacs-straight/sml-mode@60b01d7 -> emacs-straight/sml-mode@0338e97 emacs-typescript/typescript.el@e6f68ab -> emacs-typescript/typescript.el@54f14c4 erlang/otp@8efb945 -> erlang/otp@8fc0641 factor/factor@c6e15bd -> factor/factor@94a922a felipeochoa/rjsx-mode@0061587 -> felipeochoa/rjsx-mode@b697fe4 fsharp/emacs-fsharp-mode@68dfc22 -> fsharp/emacs-fsharp-mode@13fbf4c fxbois/web-mode@b4b0a85 -> fxbois/web-mode@890e837 galaunay/poetry.el@eb238d9 -> galaunay/poetry.el@d5163fe godotengine/emacs-gdscript-mode@55a6637 -> godotengine/emacs-gdscript-mode@75fe658 greghendershott/racket-mode@0ca8b26 -> greghendershott/racket-mode@3563081 haskell/haskell-mode@e726776 -> haskell/haskell-mode@0d39c84 hlissner/evil-org-mode@658dadf) -> hlissner/evil-org-mode@a9706da) hvesalai/emacs-sbt-mode@4358ed8 -> hvesalai/emacs-sbt-mode@7b121fc hvesalai/emacs-scala-mode@1d08e88 -> hvesalai/emacs-scala-mode@9d3b56e hylang/hy-mode@7256844 -> hylang/hy-mode@5253533 joaotavora/sly@fce4f9b -> joaotavora/sly@68561f1 jorgenschaefer/emacs-buttercup@cccdedf -> jorgenschaefer/emacs-buttercup@2f24a44 jorgenschaefer/pyvenv@861998b -> jorgenschaefer/pyvenv@0bf4b87 josteink/csharp-mode@f46d656 -> josteink/csharp-mode@4916829 jrblevin/markdown-mode@152eae2 -> jrblevin/markdown-mode@dcad557 kaushalmodi/ox-hugo@1909c6e) -> kaushalmodi/ox-hugo@f24c9bd) nim-lang/nim-mode@16a245e -> nim-lang/nim-mode@d832d6b ocaml-ppx/ocamlformat@1dec6c3 -> ocaml-ppx/ocamlformat@860266b ocaml/dune@f967df6 -> ocaml/dune@4d097cd ocaml/merlin@06833e9 -> ocaml/merlin@28193d5 oer/org-re-reveal@2035217 -> oer/org-re-reveal@0062756 org-roam/org-roam@d913447) -> org-roam/org-roam@be95b42) rexim/org-cliplink@82402ca -> rexim/org-cliplink@13e0940 salmanebah/opencl-mode@55cb49c -> salmanebah/opencl-mode@15091ef senny/rvm.el@6897576) -> senny/rvm.el@b2498a4) skuro/plantuml-mode@5889166 -> skuro/plantuml-mode@ea45a13 swift-emacs/swift-mode@e65a80a -> swift-emacs/swift-mode@0bc8d8d technomancy/fennel-mode@7a8824a -> technomancy/fennel-mode@fa56106 wbolster/emacs-python-pytest@a2f88b1 -> wbolster/emacs-python-pytest@4a1c4c8 xuchunyang/elisp-demos@3cca496 -> xuchunyang/elisp-demos@ed9578d yoshiki/yaml-mode@68fecb5 -> yoshiki/yaml-mode@fc5e1c5 Fixes #4237
2020-12-05 16:37:59 -05:00
(package! company-coq :pin "4da7b41e25943c0e30171ed25c761c5311999f0d")
Reference in a new issue Copy permalink