pkgs/tools/typesetting/tex/lkproof/default.nix


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17

{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 = "
    ensureDir $out/share/texmf-nix/tex/generic/lkproof
    cp -prd *.sty $out/share/texmf-nix/tex/generic/lkproof
  ";
}