From d24417817245024ed1a856ebc6f2aae11ba47ee9 Mon Sep 17 00:00:00 2001 From: Gregor Kleen Date: Fri, 22 Apr 2016 23:18:58 +0200 Subject: bussproofs & trees --- shell.nix | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'shell.nix') diff --git a/shell.nix b/shell.nix index 2ba975c..8362821 100644 --- a/shell.nix +++ b/shell.nix @@ -14,7 +14,7 @@ pkgs.stdenv.mkDerivation rec { with p; [ yesod yesod-bin pandoc monad-par persistent-sqlite ])) (pkgs.texlive.combine { - inherit (pkgs.texlive) scheme-small libertine tipa cm-super context bussproofs mweights fontaxes backnaur enumitem varwidth beamer ctablestack algorithms; + inherit (pkgs.texlive) scheme-small libertine tipa cm-super context bussproofs mweights fontaxes backnaur enumitem varwidth beamer ctablestack algorithms tikz-qtree; }) ]; shellHook = '' -- cgit v1.2.3