mirrors/nixpkgs
1
0
Fork 1
mirror of https://github.com/NixOS/nixpkgs.git synced 2025-02-17 16:40:12 +00:00
Code Issues Wiki Activity

Add tex macro lkproof for making proof figures.

Browse source 
svn path=/nixpkgs/trunk/; revision=25277
This commit is contained in:
Karn Kallio 2010-12-25 18:06:36 +00:00
parent 801ce7d5fb
commit 4bbb72da2f
2 changed files with 19 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

17
pkgs/misc/tex/lkproof/default.nix Normal file
View file

@ -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
";
}

2
pkgs/top-level/all-packages.nix
View file

@ -7270,6 +7270,8 @@ let
tex = tetex; tex = tetex;
}; };
lkproof = callPackage ../misc/tex/lkproof { };
mysqlWorkbench = newScope gnome ../applications/misc/mysql-workbench { mysqlWorkbench = newScope gnome ../applications/misc/mysql-workbench {
lua = lua5; lua = lua5;
inherit (pythonPackages) pexpect paramiko; inherit (pythonPackages) pexpect paramiko;