diff --git a/common.nix b/common.nix
index ddc6d76..8a3d8b1 100644
--- a/common.nix
+++ b/common.nix
@@ -59,7 +59,7 @@
     mutt
 
     (texlive.combine {
-      inherit (texlive) scheme-medium bussproofs enumitem tocbibind biblatex logreq cleveref comment algorithm2e relsize wrapfig capt-of fixme pgf tikz-cd;
+      inherit (texlive) scheme-medium bussproofs enumitem tocbibind biblatex logreq cleveref comment algorithm2e relsize wrapfig capt-of fixme pgf tikz-cd algorithmicx algorithms lkproof;
     }) biber
     androidsdk_4_4
     gimp