Merge pull request #19 from WORD-COINS/bussproofs

WORD-COINS · May 2, 2022 · 8725142 · 8725142
2 parents b8f20e7 + a43ab66
commit 8725142
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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 && \