about summary refs log tree commit diff
path: root/users/grfn
diff options
context:
space:
mode:
authorGriffin Smith <grfn@gws.fyi>2022-07-11T14·30-0400
committerclbot <clbot@tvl.fyi>2022-07-11T14·44+0000
commit0156292099fba2aae07bb16042f4288b2347c968 (patch)
tree30454137b67140b1026279b7893441023a08a123 /users/grfn
parent67f9a83aa62be74bd46fd08abf8c86491a298ac2 (diff)
feat(grfn/home): Install latex bussproofs package r/4288
Change-Id: I11da65decbd55c7c5ab9915887280ea4366d3c9d
Reviewed-on: https://cl.tvl.fyi/c/depot/+/5937
Tested-by: BuildkiteCI
Reviewed-by: grfn <grfn@gws.fyi>
Autosubmit: grfn <grfn@gws.fyi>
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
             ;
         })