public
/
nixpkgs
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Merge #18509: texinfo: 6.1 -> 6.3

This commit is contained in:
Vladimír Čunát 2016-09-12 21:04:48 +02:00
parent f071028911 1708c369fa
commit 8869ae47f8
2 changed files with 3 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
pkgs/development/tools/misc/texinfo/6.1.nix → pkgs/development/tools/misc/texinfo/6.3.nix
View File

@ -3,11 +3,11 @@
with stdenv.lib; with stdenv.lib;
stdenv.mkDerivation rec { stdenv.mkDerivation rec {
name = "texinfo-6.1"; name = "texinfo-6.3";
src = fetchurl { src = fetchurl {
url = "mirror://gnu/texinfo/${name}.tar.xz"; url = "mirror://gnu/texinfo/${name}.tar.xz";
sha256 = "1ll3d0l8izygdxqz96wfr2631kxahifwdknpgsx2090vw963js5c"; sha256 = "0fpr9kdjjl6nj2pc50k2zr7134hvqz8bi8pfqa7131a9lpzz6v14";
}; };
buildInputs = [ perl xz ] buildInputs = [ perl xz ]

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

@ -6792,7 +6792,7 @@ in
texinfo413 = callPackage ../development/tools/misc/texinfo/4.13a.nix { }; texinfo413 = callPackage ../development/tools/misc/texinfo/4.13a.nix { };
texinfo4 = texinfo413; texinfo4 = texinfo413;
texinfo5 = callPackage ../development/tools/misc/texinfo/5.2.nix { }; texinfo5 = callPackage ../development/tools/misc/texinfo/5.2.nix { };
texinfo6 = callPackage ../development/tools/misc/texinfo/6.1.nix { }; texinfo6 = callPackage ../development/tools/misc/texinfo/6.3.nix { };
texinfo = texinfo6; texinfo = texinfo6;
texinfoInteractive = appendToName "interactive" ( texinfoInteractive = appendToName "interactive" (
texinfo.override { interactive = true; } texinfo.override { interactive = true; }