about summary refs log tree commit diff
path: root/users/grfn
diff options
context:
space:
mode:
Diffstat (limited to 'users/grfn')
-rw-r--r--users/grfn/system/home/modules/emacs.nix2
1 files changed, 2 insertions, 0 deletions
diff --git a/users/grfn/system/home/modules/emacs.nix b/users/grfn/system/home/modules/emacs.nix
index 79eb20d9531e..b84b36843781 100644
--- a/users/grfn/system/home/modules/emacs.nix
+++ b/users/grfn/system/home/modules/emacs.nix
@@ -48,6 +48,8 @@ in
             upquote
             varwidth
             wrapfig
+            bussproofs
+            bussproofs-extra
             ;
         })