More packages

gi-ev · Jul 9, 2023 · d95d21f · d95d21f
1 parent fee6537
commit d95d21f
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 4 deletions.
diff --git a/.circleci/config.yml b/.circleci/config.yml
diff --git a/Texlivefile b/Texlivefile
@@ -8,8 +8,9 @@ ccicons
 cleveref
 csquotes
 dehyph-exptl
+hypdoc
 libertine
+mnsymbol
 mwe
 nag
 upquote
-