   (add-hook 'ocaml-mode-hook #'tree-sitter-mode)
   (add-hook 'tuareg-mode-hook #'tree-sitter-mode))
 
-
 (use-package gif-screencast :pin melpa :ensure t)
-
 (use-package pass :pin melpa)
 (use-package password-store :pin melpa)
 (use-package password-store-otp :pin melpa)
-(use-package auth-source-pass :pin melpa
-  :init (auth-source-pass-enable))
-
-;; (use-package realgud :pin melpa)
-;; (use-package realgud-byebug :pin melpa)
-;; (use-package realgud-ipdb :pin melpa)
-;; (use-package realgud-lldb :pin melpa)
-;; (use-package realgud-node-debug :pin melpa)
-;; (use-package realgud-node-inspect :pin melpa)
-;; (use-package realgud-pry :pin melpa)
-
+(use-package auth-source-pass :pin melpa :init (auth-source-pass-enable))
 (use-package gradle-mode :pin melpa)
 (use-package kotlin-mode :pin melpa)
 
 (use-package webfeeder :quelpa (webfeeder :fetcher gitlab :repo "ambrevar/emacs-webfeeder"))
-
-
-; (use-package irfc :quelpa (irfc :fetcher url "https://www.emacswiki.org/emacs/download/irfc.el"))
-
 (quelpa '(irfc :url "https://www.emacswiki.org/emacs/download/irfc.el" :fetcher url))
 
+(use-package rmsbolt :quelpa (rmsbolt :fetcher gitlab :repo "jgkamat/rmsbolt"))
 (use-package tla-pcal-mode :quelpa (tla-pcal-mode :fetcher github :repo "mrc/tla-tools"))
 (use-package proof-general :pin melpa :ensure t)
 (use-package wat-mode :quelpa (wat-mode :fetcher github :repo "devonsparks/wat-mode"))

(use-package elixir-mode :pin melpa)
;; (use-package elixir-mix :pin melpa)
(use-package flycheck-elixir :pin melpa)
(use-package flycheck-rust :pin melpa)

(use-package flycheck-gradle :pin melpa
  :ensure t

            (concat (getenv "HOME") "/.cargo/bin")
            (concat (getenv "HOME") "/.opam/4.09.0+fp+flambda/bin")
            (concat (getenv "HOME") "/.local/bin")
            (concat (getenv "HOME") "/.local/share/coursier/bin")
            (nvm-bin-path nvm-dir)))

;; (add-to-list 'load-path "/opt/mu/share/emacs/site-lisp/mu4e")
