texinfo: 6.0 -> 6.1
This commit is contained in:
parent
cd04b83605
commit
cf5ebca53e
@ -3,11 +3,11 @@
|
|||||||
with stdenv.lib;
|
with stdenv.lib;
|
||||||
|
|
||||||
stdenv.mkDerivation rec {
|
stdenv.mkDerivation rec {
|
||||||
name = "texinfo-6.0";
|
name = "texinfo-6.1";
|
||||||
|
|
||||||
src = fetchurl {
|
src = fetchurl {
|
||||||
url = "mirror://gnu/texinfo/${name}.tar.xz";
|
url = "mirror://gnu/texinfo/${name}.tar.xz";
|
||||||
sha256 = "1r3i6jyynn6ab45fxw5bms8mflk9ry4qpj6gqyry72vfd5c47fhi";
|
sha256 = "1ll3d0l8izygdxqz96wfr2631kxahifwdknpgsx2090vw963js5c";
|
||||||
};
|
};
|
||||||
|
|
||||||
buildInputs = [ perl xz ]
|
buildInputs = [ perl xz ]
|
||||||
@ -30,6 +30,7 @@ stdenv.mkDerivation rec {
|
|||||||
description = "The GNU documentation system";
|
description = "The GNU documentation system";
|
||||||
license = licenses.gpl3Plus;
|
license = licenses.gpl3Plus;
|
||||||
platforms = platforms.all;
|
platforms = platforms.all;
|
||||||
|
maintainers = [ maintainers.vrthra ];
|
||||||
|
|
||||||
longDescription = ''
|
longDescription = ''
|
||||||
Texinfo is the official documentation format of the GNU project.
|
Texinfo is the official documentation format of the GNU project.
|
@ -6625,7 +6625,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.0.nix { };
|
texinfo6 = callPackage ../development/tools/misc/texinfo/6.1.nix { };
|
||||||
texinfo = texinfo6;
|
texinfo = texinfo6;
|
||||||
texinfoInteractive = appendToName "interactive" (
|
texinfoInteractive = appendToName "interactive" (
|
||||||
texinfo.override { interactive = true; }
|
texinfo.override { interactive = true; }
|
||||||
|
Loading…
x
Reference in New Issue
Block a user