diff --git a/general/user/packages.nix b/general/user/packages.nix
index 87df83b..e63915a 100644
--- a/general/user/packages.nix
+++ b/general/user/packages.nix
@@ -15,7 +15,8 @@ let
       footmisc
       titling
       frpseudocode
-      ebproof;
+      ebproof
+      comment;
     });
 in {
   users.users.lyes.packages = with pkgs; [