nixos/exwm: fix example

One of the example packages was named incorrectly.
2026-05-08 08:36:08 -04:00
parent f727483c47
commit fcb22b03a0
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 = ''