diff options
author | Yann Herklotz <git@yannherklotz.com> | 2020-08-18 11:32:52 +0100 |
---|---|---|
committer | Yann Herklotz <git@yannherklotz.com> | 2020-08-18 11:32:52 +0100 |
commit | bbeb335a1d255d77c5ab4a5cc71134bfd25fec6c (patch) | |
tree | 410c5de586cdc6aa68601c486aae1c127b5c7f7c /doom/packages.el | |
parent | eecef1762cf7d79ecb2df8549e485ed2add79fbe (diff) | |
download | dotfiles-bbeb335a1d255d77c5ab4a5cc71134bfd25fec6c.tar.gz dotfiles-bbeb335a1d255d77c5ab4a5cc71134bfd25fec6c.zip |
Update doom config
Diffstat (limited to 'doom/packages.el')
-rw-r--r-- | doom/packages.el | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/doom/packages.el b/doom/packages.el index 3be7349..26532fb 100644 --- a/doom/packages.el +++ b/doom/packages.el @@ -51,7 +51,7 @@ ;(package! builtin-package :recipe (:branch "develop")) ;; Disabling packages -(disable-packages! undo-tree org-bullets helm) +(disable-packages! undo-tree org-bullets helm pretty-code company-coq) ;; `org-mode' dependencies (package! org-ref) @@ -59,12 +59,12 @@ ;; `org-bullets' replacement (package! org-superstar) -;; Proof general -(package! proof-general) - ;; Bibtex stuff (package! ebib) +;; Haskell stuff +(package! ormolu) + ;; Misc dependencies (package! hungry-delete) (package! vagrant-tramp) |