doomemacs/modules/lang/coq/packages.el

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

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

bump: :lang Alexander-Miller/company-shell@a77f4de75912 -> Alexander-Miller/company-shell@5f959a63a6e6 Emacs-Kotlin-Mode-Maintainers/kotlin-mode@3e0c34087ba4 -> Emacs-Kotlin-Mode-Maintainers/kotlin-mode@fddd747e5b47 FStarLang/fstar-mode.el@c95c2a61a6c4 -> FStarLang/fstar-mode.el@ab0697b9474f Fuco1/sphinx-mode@9d4075c106fc -> Fuco1/sphinx-mode@77ca51adf9ee Groovy-Emacs-Modes/groovy-emacs-modes@bf732d367b16 -> Groovy-Emacs-Modes/groovy-emacs-modes@c612ac1e9f74 Khady/merlin-eldoc@db7fab1eddfe -> Khady/merlin-eldoc@bf8edc63d85b OVYA/php-cs-fixer@7e12a1af5d65 -> OVYA/php-cs-fixer@efe4368d891f ProofGeneral/PG@e1e29acb04f0 -> ProofGeneral/PG@8416875696cb Wilfred/elisp-def@dfca043ec0cb -> Wilfred/elisp-def@1d2e88a232ec agda/agda@b612cabaae94 -> agda/agda@bb7603d19781 amake/flutter.el@08138f8c9548 -> amake/flutter.el@edd3f5eb3f46 ananthakumaran/exunit.el@0715c2dc2dca -> ananthakumaran/exunit.el@e0a8c2b81f3d beancount/beancount-mode@ea8257881b7e -> beancount/beancount-mode@519bfd868f20 bradyt/dart-mode@3bac14200f9f -> bradyt/dart-mode@9c846769abd3 brantou/emacs-go-tag@59b243f2fa07 -> brantou/emacs-go-tag@33f2059551d5 cdominik/cdlatex@8e963c68531f -> cdominik/cdlatex@ac024ce29318 clojure-emacs/cider@92c1b6de2080 -> clojure-emacs/cider@1ed5163433c9 clojure-emacs/clj-refactor.el@db89b558710d -> clojure-emacs/clj-refactor.el@b5abe655e572 clojure-emacs/clojure-mode@414157c3e523 -> clojure-emacs/clojure-mode@3453cd229b41 cpitclaudel/company-coq@a6e349e0131f -> cpitclaudel/company-coq@5affe7a96a25 crystal-lang-tools/emacs-crystal-mode@96a8058205b2 -> crystal-lang-tools/emacs-crystal-mode@9bfb9f0f566e davazp/graphql-mode@9740e4027bd9 -> davazp/graphql-mode@1437b790060f diml/utop@bbd9a6ed45c8 -> diml/utop@ace481388a54 dominikh/go-mode.el@3273fcece5d9 -> dominikh/go-mode.el@166dfb1e0902 elixir-editors/emacs-elixir@e0d0466d83ec -> elixir-editors/emacs-elixir@7641373f0563 emacs-csharp/csharp-mode@856ecbc0a78a -> emacs-csharp/csharp-mode@02c61c219b2c emacs-ess/ESS@39eba283000a -> emacs-ess/ESS@8b4664e4a76a emacs-lsp/lsp-dart@fda433671f38 -> emacs-lsp/lsp-dart@3db9f93c8305 emacs-lsp/lsp-java@0968038b9aea -> emacs-lsp/lsp-java@dbe448a886e2 emacs-lsp/lsp-sourcekit@f877659babd3 -> emacs-lsp/lsp-sourcekit@468c641e3587 emacs-php/composer.el@7c7f89df226c -> emacs-php/composer.el@5af1707fefbd emacs-php/php-mode@5f26bec865ee -> emacs-php/php-mode@fb11df8268b7 emacs-php/phpactor.el@34195f153320 -> emacs-php/phpactor.el@9440005814c4 emacs-php/psysh.el@21250984ad81 -> emacs-php/psysh.el@796b26a5cd75 emacs-straight/auctex@830e40a0639a -> emacs-straight/auctex@3929d5408b1e emacs-straight/csv-mode@43f6106f0d4e -> emacs-straight/csv-mode@d190a479b4f3 emacs-straight/rainbow-mode@949166cc0146 -> emacs-straight/rainbow-mode@8e96388fb4d6 emacs-straight/sml-mode@0338e9729bce -> emacs-straight/sml-mode@5426ff473824 emacsmirror/auctex-latexmk@4d353522650d -> emacsmirror/auctex-latexmk@b00a95e6b34c emacsmirror/paredit@e4a67f4f23ba -> emacsmirror/paredit@9a2c4b37fc8c emacsorphanage/macrostep@424e3734a1ee -> emacsorphanage/macrostep@75ecd0412192 erlang/otp@9ba9f6e60da1 -> erlang/otp@be7109f43bee ethereum/emacs-solidity@20fb77e089e1 -> ethereum/emacs-solidity@ddb4a901c33b factor/factor@1aeafdb87bb8 -> factor/factor@76ac65649d61 fsharp/emacs-fsharp-mode@c1e58c61f9b5 -> fsharp/emacs-fsharp-mode@09fec6c91f9c fxbois/web-mode@efa853e5cfff -> fxbois/web-mode@df97ab62c948 godotengine/emacs-gdscript-mode@4badcf6a0c95 -> godotengine/emacs-gdscript-mode@d392e8aa7e7c greghendershott/racket-mode@af9b760e7bac -> greghendershott/racket-mode@947d9806ee27 hhvm/hack-mode@a522f61c088e -> hhvm/hack-mode@26f06ffe8257 idris-hackers/idris-mode@65d6db1b7574 -> idris-hackers/idris-mode@c96f45d1b8fa immerrr/lua-mode@5a9bee8d5fc9 -> immerrr/lua-mode@ad639c62e38a iyefrat/evil-tex@0fa85c3fc88d -> iyefrat/evil-tex@3e0a26b91a1a jcollard/elm-mode@d4e434fa1857 -> jcollard/elm-mode@5797500d74dd joaotavora/sly@4513c382f07a -> joaotavora/sly@fa70fc8ab1bc jorgenschaefer/emacs-buttercup@ceedad5efa79 -> jorgenschaefer/emacs-buttercup@07a52c996958 jrblevin/markdown-mode@1f709778ac79 -> jrblevin/markdown-mode@c765b73b370f jschaf/powershell.el@ce1f0ae0b2e4 -> jschaf/powershell.el@f2da15857e43 jwiegley/emacs-async@c78bab7506a7 -> jwiegley/emacs-async@71cc50f27ffc leanprover/lean-mode@c1c68cc946eb -> leanprover/lean-mode@362bc6fa3efb ledger/ledger-mode@b55384d9cd14 -> ledger/ledger-mode@4b32f701736b midnightSuyama/shader-mode@d7dc8d0d6fe8 -> midnightSuyama/shader-mode@fe5a1982ba69 necaris/conda.el@667968184e40 -> necaris/conda.el@28f51e49fd25 nlamirault/phpunit.el@fe6bc91c3bd8 -> nlamirault/phpunit.el@4a36906344c0 ocaml-ppx/ocamlformat@9cbd8150c28f -> ocaml-ppx/ocamlformat@1ad4bdba9e1f ocaml/dune@3df932f7f91e -> ocaml/dune@f5a5a9c17be6 ocaml/merlin@be753d941238 -> ocaml/merlin@306af713e268 ocaml/tuareg@ad8a688b7e2a -> ocaml/tuareg@53ce2fdfdd37 pashky/restclient.el@9e2cfa865291 -> pashky/restclient.el@0ba72816f92f polymode/polymode@2094c92403fe -> polymode/polymode@15b6c1e94a45 purcell/flycheck-package@615c1ed8c6fb -> purcell/flycheck-package@3a6aaed29ff6 purescript-emacs/purescript-mode@0acd1af44642 -> purescript-emacs/purescript-mode@cf113871f98d s-kostyaev/go-gen-test@35df36dcd555 -> s-kostyaev/go-gen-test@f84f4177af7f seagle0128/grip-mode@6d6ddbe0af39 -> seagle0128/grip-mode@5809fb62f6dd sebasmonia/sharper@96edd4a1dbc2 -> sebasmonia/sharper@496e90e337cb smihica/emmet-mode@6b2e554f7fd2 -> smihica/emmet-mode@63b693260318 swift-emacs/swift-mode@f4529efa453f -> swift-emacs/swift-mode@1244ee48de18 technomancy/fennel-mode@566435734946 -> technomancy/fennel-mode@52da9715b0d0 vspinu/company-math@45778f5731c9 -> vspinu/company-math@3eb006874e30 whirm/flycheck-kotlin@bf1b398bdde1 -> whirm/flycheck-kotlin@a2a6abb9a7f8 wwwjfy/emacs-fish@a7c953b1491a -> wwwjfy/emacs-fish@d04478c0aba0 xuchunyang/elisp-demos@01c301b516e9 -> xuchunyang/elisp-demos@792be709c821 yoshiki/yaml-mode@535273d5a1eb -> yoshiki/yaml-mode@3fcb36d6039b ziglang/zig-mode@aa20d630b8c4 -> ziglang/zig-mode@9c5e41d6a0a8 2023-02-21 19:32:39 -05:00			`(package! proof-general :pin "8416875696cb0c4283e96fe721d343277882ecea")`
			`(package! company-coq :pin "5affe7a96a25df9101f9e44bac8a828d8292c2fa")`