diff --git a/.github/tl_packages b/.github/tl_packages index a7c6fa86..eb05dbe8 100644 --- a/.github/tl_packages +++ b/.github/tl_packages @@ -175,6 +175,8 @@ colorspace xstring ccicons xifthen +ifmtarg +greek-fontenc # fonts amsfonts