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


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22

{lib, 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
  ";

  meta = with lib; {
    platforms = platforms.unix;
    license = licenses.gpl1Plus;
  };
}