feat(grfn/home): Install latex bussproofs package

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>
2022-07-11 10:30:42 -04:00 · 2022-07-11 10:30:42 -04:00 · 0156292099
commit 0156292099
parent 67f9a83aa6
1 changed files with 2 additions and 0 deletions
--- 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
            ;
        })