1 files changed, 22 insertions, 0 deletions
diff --git a/nixpkgs/pkgs/tools/typesetting/tex/lkproof/default.nix b/nixpkgs/pkgs/tools/typesetting/tex/lkproof/default.nix
new file mode 100644
index 000000000000..db0ec6d9bead
--- /dev/null
+++ b/nixpkgs/pkgs/tools/typesetting/tex/lkproof/default.nix
@@ -0,0 +1,22 @@
+{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 stdenv.lib; {
+    platforms = platforms.unix;
+    license = licenses.gpl1Plus;
+  };
+}