{stdenv, fetchurl, unzip}: stdenv.mkDerivation { name = "lkproof-3.1"; src = fetchurl { url = http://mirror.ctan.org/macros/latex/contrib/lkproof.zip; sha256 = "1qjkjhpc4rm62qxn18r83zdlwnj1wvnkcpdiqlv7w4bakh0gvjly"; }; buildInputs = [ unzip ]; installPhase = " mkdir -p $out/share/texmf-nix/tex/generic/lkproof cp -prd *.sty $out/share/texmf-nix/tex/generic/lkproof "; }