about summary refs log tree commit diff
path: root/pkgs/tools/typesetting/tex/lkproof
diff options
context:
space:
mode:
authorPeter Simons <simons@cryp.to>2012-02-04 09:31:07 +0000
committerPeter Simons <simons@cryp.to>2012-02-04 09:31:07 +0000
commitb69d6bf7e099a6d8e5bec8dd2a1d337d3fcd4a3b (patch)
treedae06b8d3eb2404f7045e567c8610e4d43d82f2b /pkgs/tools/typesetting/tex/lkproof
parentdbafd99a0aaa3b65067cf48d840353f230327368 (diff)
downloadnixlib-b69d6bf7e099a6d8e5bec8dd2a1d337d3fcd4a3b.tar
nixlib-b69d6bf7e099a6d8e5bec8dd2a1d337d3fcd4a3b.tar.gz
nixlib-b69d6bf7e099a6d8e5bec8dd2a1d337d3fcd4a3b.tar.bz2
nixlib-b69d6bf7e099a6d8e5bec8dd2a1d337d3fcd4a3b.tar.lz
nixlib-b69d6bf7e099a6d8e5bec8dd2a1d337d3fcd4a3b.tar.xz
nixlib-b69d6bf7e099a6d8e5bec8dd2a1d337d3fcd4a3b.tar.zst
nixlib-b69d6bf7e099a6d8e5bec8dd2a1d337d3fcd4a3b.zip
Moved all LaTeX expressions into tools/typesetting hierarchy.
svn path=/nixpkgs/trunk/; revision=32028
Diffstat (limited to 'pkgs/tools/typesetting/tex/lkproof')
-rw-r--r--pkgs/tools/typesetting/tex/lkproof/default.nix17
1 files changed, 17 insertions, 0 deletions
diff --git a/pkgs/tools/typesetting/tex/lkproof/default.nix b/pkgs/tools/typesetting/tex/lkproof/default.nix
new file mode 100644
index 000000000000..2d3a1e5f19cc
--- /dev/null
+++ b/pkgs/tools/typesetting/tex/lkproof/default.nix
@@ -0,0 +1,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
+  ";
+}