From 0156292099fba2aae07bb16042f4288b2347c968 Mon Sep 17 00:00:00 2001 From: Griffin Smith Date: Mon, 11 Jul 2022 10:30:42 -0400 Subject: 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 Autosubmit: grfn --- users/grfn/system/home/modules/emacs.nix | 2 ++ 1 file changed, 2 insertions(+) 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 ; }) -- cgit 1.4.1