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 = ''