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

This commit is contained in:
Julien Malka 2024-10-20 17:49:53 +02:00
parent 02c648ce62
commit 45689db6f3
Signed by: Luj
GPG key ID: 6FC74C847011FD83

View file

@ -16,6 +16,16 @@
luj.emails.enable = true; luj.emails.enable = true;
luj.programs.hyprland.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 = { programs.rofi = {
enable = true; enable = true;
package = pkgs.rofi-wayland; package = pkgs.rofi-wayland;
@ -35,7 +45,6 @@
jq jq
lazygit lazygit
fira-code fira-code
emacs29-pgtk
feh feh
meld meld
vlc vlc
@ -55,7 +64,6 @@
step-cli step-cli
gh gh
gh-dash gh-dash
cvc5
signal-desktop signal-desktop
scli scli
texlive.combined.scheme-full texlive.combined.scheme-full