chore(fischer): drop cvc5 + move to emacs-pgtk

This commit is contained in:
Luj 2024-10-20 17:49:53 +02:00
parent f19c38d633
commit 5a99018666

View file

@ -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