From a43ab6697cfbddee96d648c57f3504eb82d6398e Mon Sep 17 00:00:00 2001
From: private-yusuke <30387586+private-yusuke@users.noreply.github.com>
Date: Sun, 1 May 2022 23:27:44 +0900
Subject: [PATCH] Add package `bussproofs`

---
 Dockerfile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Dockerfile b/Dockerfile
index 133d018..9f64933 100644
--- a/Dockerfile
+++ b/Dockerfile
@@ -69,7 +69,7 @@ RUN tlmgr install --no-persistent-downloads \
       fontaxes boondox everyhook svn-prov framed subfiles titlesec \
       tocdata xpatch etoolbox l3packages \
       biblatex pbibtex-base logreq biber import environ trimspaces tcolorbox \
-      ebgaramond algorithms algorithmicx xstring siunitx
+      ebgaramond algorithms algorithmicx xstring siunitx bussproofs
 
 # EBGaramond
 RUN cp /usr/share/fonts/opentype/ebgaramond/EBGaramond12-Regular.otf /usr/share/fonts/opentype/EBGaramond.otf && \