From eb862faedcf81f0997fde333c99b8d9c5cd186c0 Mon Sep 17 00:00:00 2001
From: Gabriel Ebner <gebner@gebner.org>
Date: Sun, 22 Nov 2015 12:10:39 +0100
Subject: [PATCH] add more texlive packages.

---
 common.nix | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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