From 0156292099fba2aae07bb16042f4288b2347c968 Mon Sep 17 00:00:00 2001
From: Griffin Smith <grfn@gws.fyi>
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 <grfn@gws.fyi>
Autosubmit: grfn <grfn@gws.fyi>
---
 users/grfn/system/home/modules/emacs.nix | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'users/grfn/system/home/modules')

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