diff options
author | Griffin Smith <grfn@gws.fyi> | 2022-07-11T14·30-0400 |
---|---|---|
committer | clbot <clbot@tvl.fyi> | 2022-07-11T14·44+0000 |
commit | 0156292099fba2aae07bb16042f4288b2347c968 (patch) | |
tree | 30454137b67140b1026279b7893441023a08a123 /users/grfn | |
parent | 67f9a83aa62be74bd46fd08abf8c86491a298ac2 (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.nix | 2 |
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 ; }) |