doomemacs/modules/lang/coq/packages.el

;; -*- no-byte-compile: t; -*-
;;; lang/coq/packages.el

(package! proof-general :pin "e2b4227e1f63a78198d1b7521b63619fb702d3f5")
(package! company-coq :pin "382db93374380e5db56f02934ee32bbe39159019")
Added basic coq support 2018-08-14 23:21:55 +02:00			`;; -- no-byte-compile: t; --`
			`;;; lang/coq/packages.el`

bump: :lang Andersbakken/rtags@65113e2a137b -> Andersbakken/rtags@cdff9b47fc17 Emacs-Kotlin-Mode-Maintainers/kotlin-mode@0e4bafb31d1f -> Emacs-Kotlin-Mode-Maintainers/kotlin-mode@876cc27dc105 Groovy-Emacs-Modes/groovy-emacs-modes@99eaf70720e4 -> Groovy-Emacs-Modes/groovy-emacs-modes@84f89b68ec8f JuliaEditorSupport/julia-emacs@fe6f6f7a80f8 -> JuliaEditorSupport/julia-emacs@06f6fdb94cdd NixOS/nix-mode@3cca5b6527a6 -> NixOS/nix-mode@8e20de5ba706 OVYA/php-cs-fixer@c5b5d8a4986b -> OVYA/php-cs-fixer@cc9a3624dcdc ProofGeneral/PG@bc86736abb72 -> ProofGeneral/PG@e2b4227e1f63 Raku/raku-mode@7496ad3a03be -> Raku/raku-mode@eaac071f1779 Somelauw/evil-markdown@064fe9b47674 -> Somelauw/evil-markdown@8e6cc68af839 StanfordLegion/terra-mode@eab9e59ded8d -> StanfordLegion/terra-mode@ceef8cae5bdd amake/flutter.el@960b63576a13 -> amake/flutter.el@81c524a43c46 ananthakumaran/tide@ccff099e94be -> ananthakumaran/tide@296c0e0e3a13 asok/projectile-rails@6a18ada3566a -> asok/projectile-rails@30828afbfa7b beancount/beancount-mode@02fe03ee4487 -> beancount/beancount-mode@dbafe6a73d90 bradyt/dart-mode@43975c92080e -> bradyt/dart-mode@3bac14200f9f brianc/jade-mode@4dbde92542fc -> brianc/jade-mode@111460b05683 brotzeit/rustic@6ca73bb3cce4 -> brotzeit/rustic@804ebfe0295a cdominik/cdlatex@614a8d94f67c -> cdominik/cdlatex@f215b70c5cb0 clojure-emacs/clojure-mode@3e426b3a479f -> clojure-emacs/clojure-mode@e1dc7caee76d cython/cython@fae33cf7d425 -> cython/cython@aea4e6b84b38 dgutov/robe@e1304d123d72 -> dgutov/robe@fd972e912d0c emacs-csharp/csharp-mode@093f0f21a9d0 -> emacs-csharp/csharp-mode@fe8a68e9849f emacs-ess/ESS@4fefd0feaae6 -> emacs-ess/ESS@a7ce81bb768d emacs-geiser/gauche@66e51430bded -> emacs-geiser/gauche@fd52cbaed9b0 emacs-geiser/geiser@4099dce8f5f1 -> emacs-geiser/geiser@327ff01e5b9c emacs-lsp/lsp-metals@ca927e5a837c -> emacs-lsp/lsp-metals@695291761b2a emacs-php/php-mode@cbf27232649c -> emacs-php/php-mode@535aec81739e emacs-straight/auctex@ea410dce4f24 -> emacs-straight/auctex@3b0a080ae596 emacs-typescript/typescript.el@1043025d4260 -> emacs-typescript/typescript.el@2a58631230fe erlang/otp@645ea8110da9 -> erlang/otp@118cb37bd5b9 ethereum/emacs-solidity@5f6ef3156fad -> ethereum/emacs-solidity@6f7bd1641e52 factor/factor@b989a860d1d6 -> factor/factor@7b451bb813d2 fsharp/emacs-fsharp-mode@93b1fbc31d73 -> fsharp/emacs-fsharp-mode@c90d762c0692 fxbois/web-mode@8ef47935d638 -> fxbois/web-mode@61f057a6baeb greghendershott/racket-mode@7f12cb1ff277 -> greghendershott/racket-mode@a879a8d67b06 haskell/haskell-mode@98ba39223601 -> haskell/haskell-mode@8402caa341d9 hhvm/hack-mode@f9315be69954 -> hhvm/hack-mode@4c1c2b093970 idris-hackers/idris-mode@f52ad0b47704 -> idris-hackers/idris-mode@3cc9361b4c0c immerrr/lua-mode@2bd9077dd040 -> immerrr/lua-mode@5a9bee8d5fc9 iyefrat/evil-tex@87445d4d2339 -> iyefrat/evil-tex@aa0ddf8e768a jimhourihan/glsl-mode@b07112016436 -> jimhourihan/glsl-mode@9b2e5f28e489 joaotavora/sly@41f4d6504852 -> joaotavora/sly@540a8c5b9a04 jrblevin/markdown-mode@359347b2bb15 -> jrblevin/markdown-mode@862ae8addd29 jwiegley/emacs-async@9a8cd0c3d5c1 -> jwiegley/emacs-async@5d365ffc6a2c liblit/demangle-mode@aaef0bd77a3e -> liblit/demangle-mode@04f545adab06 necaris/conda.el@6db0720b6dc8 -> necaris/conda.el@4de6eccda5ff ocaml-ppx/ocamlformat@5dd6574d8fed -> ocaml-ppx/ocamlformat@22a3707da387 ocaml/dune@75ecfe34216d -> ocaml/dune@4d0a47edd53d ocaml/merlin@5731826810ef -> ocaml/merlin@e4791e229869 ocaml/merlin@5731826810ef -> ocaml/merlin@e4791e229869 ocaml/tuareg@b59c42275950 -> ocaml/tuareg@00faf47a7c65 pashky/restclient.el@2cc1fd3496f5 -> pashky/restclient.el@176d9cb6552f polymode/polymode@7d1f822f0833 -> polymode/polymode@54888d6c1524 s-kostyaev/go-gen-test@44c202ac97e7 -> s-kostyaev/go-gen-test@35df36dcd555 seagle0128/grip-mode@c0ca78990395 -> seagle0128/grip-mode@1c82e27beec6 smihica/emmet-mode@1acb821e0142 -> smihica/emmet-mode@6b2e554f7fd2 swift-emacs/swift-mode@1b47a09f1c0e -> swift-emacs/swift-mode@800efe2910e0 technomancy/fennel-mode@a908db8696d2 -> technomancy/fennel-mode@47152970a987 vspinu/company-math@a79605359001 -> vspinu/company-math@45778f5731c9 yoshiki/yaml-mode@3a5705846821 -> yoshiki/yaml-mode@63b637f84641 ziglang/zig-mode@0babe7ec524f -> ziglang/zig-mode@aba01b6199b7 2021-09-15 00:45:49 +02:00			`(package! proof-general :pin "e2b4227e1f63a78198d1b7521b63619fb702d3f5")`
Bump :lang 200ok-ch/counsel-jq@153d70b -> 200ok-ch/counsel-jq@8cadd2e Andersbakken/rtags@63f18ac -> Andersbakken/rtags@65113e2 Groovy-Emacs-Modes/groovy-emacs-modes@26da902 -> Groovy-Emacs-Modes/groovy-emacs-modes@99eaf70 NixOS/nix-mode@0023fc5 -> NixOS/nix-mode@3cca5b6 ProofGeneral/PG@f0f0476 -> ProofGeneral/PG@bc86736 Raku/raku-mode@8a6e17f -> Raku/raku-mode@7496ad3 StanfordLegion/terra-mode@1e5e824 -> StanfordLegion/terra-mode@eab9e59 TheBB/company-reftex@291c283 -> TheBB/company-reftex@42eb98c agda/agda@ecb9323 -> agda/agda@af9c4b9 ananthakumaran/tide@ad6fa78 -> ananthakumaran/tide@ccff099 asok/projectile-rails@f1fe6e8 -> asok/projectile-rails@6a18ada beancount/beancount-mode@3c04745 -> beancount/beancount-mode@02fe03e brotzeit/rustic@ed68fd3 -> brotzeit/rustic@6ca73bb cdominik/cdlatex@adf96ba -> cdominik/cdlatex@614a8d9 clojure-emacs/clojure-mode@a14671e -> clojure-emacs/clojure-mode@3e426b3 cython/cython@9decfca -> cython/cython@fae33cf dgutov/robe@126650a -> dgutov/robe@e1304d1 diml/utop@711c246 -> diml/utop@c87b8b2 dominikh/go-mode.el@49a5380 -> dominikh/go-mode.el@3497434 elixir-editors/emacs-elixir@0212b06 -> elixir-editors/emacs-elixir@6bbc1e5 emacs-csharp/csharp-mode@f977800 -> emacs-csharp/csharp-mode@093f0f2 emacs-ess/ESS@126d344 -> emacs-ess/ESS@4fefd0f emacs-lsp/lsp-dart@f3b70ec -> emacs-lsp/lsp-dart@01d89d4 emacs-lsp/lsp-haskell@7efbef3 -> emacs-lsp/lsp-haskell@eb37ac4 emacs-lsp/lsp-java@9685334 -> emacs-lsp/lsp-java@b66a075 emacs-lsp/lsp-metals@51a89c1 -> emacs-lsp/lsp-metals@9f82ebe emacs-lsp/lsp-pyright@65fb141 -> emacs-lsp/lsp-pyright@71a7976 emacs-lsp/lsp-sourcekit@aafa987 -> emacs-lsp/lsp-sourcekit@ae4aa87 emacs-php/php-mode@a2bca9b -> emacs-php/php-mode@cbf2723 emacs-php/phpactor.el@80788a8 -> emacs-php/phpactor.el@272217f emacs-straight/auctex@1472d1d -> emacs-straight/auctex@ea410dc erlang/otp@94c9738 -> erlang/otp@645ea81 ethereum/emacs-solidity@b4fd719 -> ethereum/emacs-solidity@5f6ef31 factor/factor@5bfeab6 -> factor/factor@b989a86 fsharp/emacs-fsharp-mode@78898a1 -> fsharp/emacs-fsharp-mode@93b1fbc godotengine/emacs-gdscript-mode@16c631c -> godotengine/emacs-gdscript-mode@b7bfa6a greghendershott/racket-mode@5115c47 -> greghendershott/racket-mode@7f12cb1 haskell/haskell-mode@1baa12a -> haskell/haskell-mode@98ba392 hhvm/hack-mode@847fd91 -> hhvm/hack-mode@f9315be hlissner/emacs-pug-mode@685fd34 -> hlissner/emacs-pug-mode@d080904 hvesalai/emacs-sbt-mode@0bdc36b -> hvesalai/emacs-sbt-mode@e29464a idris-hackers/idris-mode@80aabd2 -> idris-hackers/idris-mode@f52ad0b immerrr/lua-mode@2d9a468 -> immerrr/lua-mode@2bd9077 iyefrat/evil-tex@5f0d6fb -> iyefrat/evil-tex@87445d4 jcollard/elm-mode@e9fcf9c -> jcollard/elm-mode@f2e2d00 joaotavora/sly@5966d68 -> joaotavora/sly@41f4d65 jorgenschaefer/pyvenv@9b3678b -> jorgenschaefer/pyvenv@045ff94 jrblevin/markdown-mode@ac9ea26 -> jrblevin/markdown-mode@359347b jwiegley/emacs-async@d7e7f79 -> jwiegley/emacs-async@9a8cd0c jyp/attrap@778382e -> jyp/attrap@a5bc695 leanprover/lean-mode@5c50338 -> leanprover/lean-mode@bf32bb9 ledger/ledger-mode@32fef09 -> ledger/ledger-mode@19b84dc nathankot/company-sourcekit@abf9bc5 -> nathankot/company-sourcekit@a1860ad necaris/conda.el@dce431b -> necaris/conda.el@6db0720 non-Jedi/eglot-jl@84cff9d -> non-Jedi/eglot-jl@49f170e nonsequitur/inf-ruby@c6990a6 -> nonsequitur/inf-ruby@03dd9c9 ocaml-ppx/ocamlformat@0ad8d0a -> ocaml-ppx/ocamlformat@5dd6574 ocaml/dune@65e04ba -> ocaml/dune@75ecfe3 ocaml/merlin@635923d -> ocaml/merlin@5731826 ocaml/tuareg@37a6730 -> ocaml/tuareg@b59c422 pashky/restclient.el@abc307b -> pashky/restclient.el@2cc1fd3 polymode/polymode@b3871e9 -> polymode/polymode@7d1f822 pythonic-emacs/anaconda-mode@344727c -> pythonic-emacs/anaconda-mode@4f367c7 seagle0128/grip-mode@2855205 -> seagle0128/grip-mode@c0ca789 sebasmonia/sharper@d610b83 -> sebasmonia/sharper@08277b6 swift-emacs/swift-mode@ad12a30 -> swift-emacs/swift-mode@1b47a09 technomancy/fennel-mode@ba14a7d -> technomancy/fennel-mode@a908db8 tpapp/julia-repl@7ce38a9 -> tpapp/julia-repl@79e686e ziglang/zig-mode@2d0eb23 -> ziglang/zig-mode@0babe7e Closes #5221 2021-07-11 12:24:42 -04:00			`(package! company-coq :pin "382db93374380e5db56f02934ee32bbe39159019")`