From 45689db6f3056b1af8cd1e07f2f0c5ca3c91a51c Mon Sep 17 00:00:00 2001
From: Julien Malka <julien@malka.sh>
Date: Sun, 20 Oct 2024 17:49:53 +0200
Subject: [PATCH] chore(fischer): drop cvc5 + move to emacs-pgtk

---
 machines/fischer/home-julien.nix | 12 ++++++++++--
 1 file changed, 10 insertions(+), 2 deletions(-)

diff --git a/machines/fischer/home-julien.nix b/machines/fischer/home-julien.nix
index 5c5d867..39a101b 100644
--- a/machines/fischer/home-julien.nix
+++ b/machines/fischer/home-julien.nix
@@ -16,6 +16,16 @@
     luj.emails.enable = true;
     luj.programs.hyprland.enable = true;
 
+    programs.emacs = {
+      enable = true;
+      package = pkgs.emacs30-pgtk;
+      extraPackages = epkgs: [
+        epkgs.mu4e
+      ];
+    };
+
+    programs.mu.enable = true;
+
     programs.rofi = {
       enable = true;
       package = pkgs.rofi-wayland;
@@ -35,7 +45,6 @@
       jq
       lazygit
       fira-code
-      emacs29-pgtk
       feh
       meld
       vlc
@@ -55,7 +64,6 @@
       step-cli
       gh
       gh-dash
-      cvc5
       signal-desktop
       scli
       texlive.combined.scheme-full