From fcb22b03a0dd2dd71b41fb980993ee6bc20f73f5 Mon Sep 17 00:00:00 2001
From: Garklein <garklein97@gmail.com>
Date: Fri, 8 May 2026 08:36:08 -0400
Subject: [PATCH] nixos/exwm: fix example

One of the example packages was named incorrectly.
---
 nixos/modules/services/x11/window-managers/exwm.nix | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/nixos/modules/services/x11/window-managers/exwm.nix b/nixos/modules/services/x11/window-managers/exwm.nix
index f6a52ea808e3..a99e882a884a 100644
--- a/nixos/modules/services/x11/window-managers/exwm.nix
+++ b/nixos/modules/services/x11/window-managers/exwm.nix
@@ -50,7 +50,7 @@ in
           epkgs: [
             epkgs.emms
             epkgs.magit
-            epkgs.proofgeneral
+            epkgs.proof-general
           ]
         '';
         description = ''