diff options
Diffstat (limited to 'pkgs/development/tools/misc/texinfo/4.13a.nix')
| -rw-r--r-- | pkgs/development/tools/misc/texinfo/4.13a.nix | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/pkgs/development/tools/misc/texinfo/4.13a.nix b/pkgs/development/tools/misc/texinfo/4.13a.nix index a3155230514..6eb384f51e3 100644 --- a/pkgs/development/tools/misc/texinfo/4.13a.nix +++ b/pkgs/development/tools/misc/texinfo/4.13a.nix @@ -36,5 +36,6 @@ stdenv.mkDerivation rec { license = stdenv.lib.licenses.gpl3Plus; homepage = http://www.gnu.org/software/texinfo/; + branch = "4.13"; }; } |