nixos/exwm: fix example (#518044)

2026-05-18 21:50:54 +00:00
parent eee71a733e fcb22b03a0
commit f142755f00
1 changed files with 1 additions and 1 deletions
@@ -50,7 +50,7 @@ in
          epkgs: [
            epkgs.emms
            epkgs.magit
-            epkgs.proofgeneral
+            epkgs.proof-general
          ]
        '';
        description = ''