doomemacs/modules/lang/idris/packages.el

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

(package! idris-mode :pin "09de86a8f056c61de72c678386039894779a9375")
Add basic idris support 2018-08-21 13:35:58 +02:00			`;; -- no-byte-compile: t; --`
			`;;; lang/idris/packages.el`

bump: :lang ProofGeneral/PG@99f91e873ec2 -> ProofGeneral/PG@3a99da275523 agda/agda@fbf9d159c3c8 -> agda/agda@4f82f9b90afb amake/flutter.el@004c91e070a9 -> amake/flutter.el@e71235d40078 babashka/neil@a38be9f0821b -> babashka/neil@6728367eff5f beancount/beancount-mode@71c16222461d -> beancount/beancount-mode@7b437abcf00f chachi/cuda-mode@7dd07a20c36b -> chachi/cuda-mode@c3dae31b3d1a clojure-emacs/cider@105da319b09a -> clojure-emacs/cider@8fdb53e8be76 dominikh/go-mode.el@636d36e37a0d -> dominikh/go-mode.el@602d73e22646 emacs-geiser/geiser@b6b4ac070d13 -> emacs-geiser/geiser@97ce88463f34 emacs-geiser/guile@d5175439c01b -> emacs-geiser/guile@5a856c298203 emacs-gnuplot/gnuplot@7138b139d2dc -> emacs-gnuplot/gnuplot@4c6b18f71ff7 emacs-lsp/lsp-dart@1f52e81c9371 -> emacs-lsp/lsp-dart@9ffbafb7dcea emacs-lsp/lsp-haskell@18a7c7881fb2 -> emacs-lsp/lsp-haskell@ba49fa982255 emacs-lsp/lsp-java@4909c14b9012 -> emacs-lsp/lsp-java@868600bf7f47 emacs-lsp/lsp-metals@fa4072cbe7a7 -> emacs-lsp/lsp-metals@0dc938be1190 emacs-lsp/lsp-sourcekit@bb2b7e027824 -> emacs-lsp/lsp-sourcekit@63ff1ab638b6 emacs-lsp/lsp-treemacs@1d43e9e0307f -> emacs-lsp/lsp-treemacs@fb1a07ae0a3d emacs-straight/adaptive-wrap@f5bc153273f4 -> emacs-straight/adaptive-wrap@d75665b9c88e emacs-straight/auctex@451b0f08b04d -> emacs-straight/auctex@08881d08ce41 emacs-straight/csv-mode@cdb73a771b0b -> emacs-straight/csv-mode@6979fc18ebe1 emacs-straight/org-mode@f398724bd53e -> emacs-straight/org-mode@6a5d0ed342ef emacs-straight/rainbow-mode@0740f31f3009 -> emacs-straight/rainbow-mode@2e6b18609c2f emacs-straight/sml-mode@d114e5a27f3d -> emacs-straight/sml-mode@021233f60adf emacsmirror/paredit@9a2c4b37fc8c -> emacsmirror/paredit@037b9b8acbca ericdallo/jet.el@7d5157aac692 -> ericdallo/jet.el@c9a92675efd8 erlang/otp@2a64588d4a36 -> erlang/otp@c66bf53cde59 factor/factor@d1430077782d -> factor/factor@31dc1a386b06 fosskers/sly-overlay@4c6135c26051 -> fosskers/sly-overlay@d62945059035 fxbois/web-mode@005aa62d6f41 -> fxbois/web-mode@0c83581d1e93 gcv/julia-snail@f7784c500783 -> gcv/julia-snail@dff92c4250e4 greghendershott/racket-mode@40ecb87f409a -> greghendershott/racket-mode@dba66c45365d hhvm/hack-mode@ccf20511f0f2 -> hhvm/hack-mode@343e45f2a616 https://repo.or.cz/org-contacts.git@d0cb221502c9 -> https://repo.or.cz/org-contacts.git@f0a430442b2a hvesalai/emacs-scala-mode@4c6d636b86e3 -> hvesalai/emacs-scala-mode@bd0638c32ab0 idris-hackers/idris-mode@38dd2380dca5 -> idris-hackers/idris-mode@09de86a8f056 ifitzpatrick/graphql-doc.el@d37140267e0c -> ifitzpatrick/graphql-doc.el@17755a2466a1 jart/disaster@16bba9afb92a -> jart/disaster@b20f8e1ef961 joaotavora/sly@ba40c8f054ec -> joaotavora/sly@742355f7554a jorgenschaefer/emacs-buttercup@a1a86b027ffe -> jorgenschaefer/emacs-buttercup@bf01a33f8bc2 jrblevin/markdown-mode@8aab017f4790 -> jrblevin/markdown-mode@6102ac5b7301 jschaf/powershell.el@f2da15857e43 -> jschaf/powershell.el@38727f1cdaf0 jwiegley/emacs-async@f317b0c9c3e6 -> jwiegley/emacs-async@43f97d7e689e ledger/ledger-mode@b0e65f74a5a0 -> ledger/ledger-mode@a6be7a2d7928 nonsequitur/inf-ruby@0cfe8b2fb1ab -> nonsequitur/inf-ruby@b234625c85a4 ocaml/dune@96ed5fb42f2c -> ocaml/dune@a7924e322e72 ocaml/merlin@9fa77dbe81c8 -> ocaml/merlin@e016abfac6da oer/org-re-reveal@dbd8ffb3e577 -> oer/org-re-reveal@91610ba9b010 org-noter/org-noter@68646b685a0d -> org-noter/org-noter@6f292d7f1efb org-roam/org-roam@8667e441876c -> org-roam/org-roam@0b9fcbc97b65 rust-lang/rust-mode@a529a4518120 -> rust-lang/rust-mode@c87f6f82bd48 seagle0128/grip-mode@7c42b8f61d14 -> seagle0128/grip-mode@9adac9c98902 technomancy/fennel-mode@a4ddd1750fd3 -> technomancy/fennel-mode@f4bd34e1c3b1 From this point on, Org will be pinned to tagged releases. 2024-09-07 18:51:38 -04:00			`(package! idris-mode :pin "09de86a8f056c61de72c678386039894779a9375")`