lkproof: add license

This commit is contained in:
Markus Kowalewski 2018-11-14 23:37:54 +01:00
parent 932861cacb
commit d190d8af0c
No known key found for this signature in database
GPG Key ID: D865C8A91D7025EB

View File

@ -2,12 +2,12 @@
stdenv.mkDerivation { stdenv.mkDerivation {
name = "lkproof-3.1"; name = "lkproof-3.1";
src = fetchurl { src = fetchurl {
url = http://mirror.ctan.org/macros/latex/contrib/lkproof.zip; url = http://mirror.ctan.org/macros/latex/contrib/lkproof.zip;
sha256 = "1qjkjhpc4rm62qxn18r83zdlwnj1wvnkcpdiqlv7w4bakh0gvjly"; sha256 = "1qjkjhpc4rm62qxn18r83zdlwnj1wvnkcpdiqlv7w4bakh0gvjly";
}; };
buildInputs = [ unzip ]; buildInputs = [ unzip ];
installPhase = " installPhase = "
@ -15,7 +15,8 @@ stdenv.mkDerivation {
cp -prd *.sty $out/share/texmf-nix/tex/generic/lkproof cp -prd *.sty $out/share/texmf-nix/tex/generic/lkproof
"; ";
meta = { meta = with stdenv.lib; {
platforms = stdenv.lib.platforms.unix; platforms = platforms.unix;
license = licenses.gpl1Plus;
}; };
} }