texinfo: 7.0.3 -> 7.1

NixOS · Oct 20, 2023 · 83c1277 · 83c1277
1 parent 85e5386
commit 83c1277
Show file tree

Hide file tree

Showing 2 changed files with 6 additions and 1 deletion.
diff --git a/pkgs/development/tools/misc/texinfo/7.1.nix b/pkgs/development/tools/misc/texinfo/7.1.nix
@@ -0,0 +1,4 @@
+import ./common.nix {
+  version = "7.1";
+  sha256 = "sha256-3u7J8Z8VngRv34rSIjGYGAbawzLMNy8cdjUErYKzCVM=";
+}
diff --git a/pkgs/top-level/all-packages.nix b/pkgs/top-level/all-packages.nix
@@ -20289,7 +20289,8 @@ with pkgs;
   texinfo6_5 = callPackage ../development/tools/misc/texinfo/6.5.nix { }; # needed for allegro
   texinfo6_7 = callPackage ../development/tools/misc/texinfo/6.7.nix { }; # needed for gpm, iksemel and fwknop
   texinfo6 = callPackage ../development/tools/misc/texinfo/6.8.nix { };
-  texinfo7 = callPackage ../development/tools/misc/texinfo/7.0.nix { };
+  texinfo7_0 = callPackage ../development/tools/misc/texinfo/7.0.nix { };
+  texinfo7 = callPackage ../development/tools/misc/texinfo/7.1.nix { };
   texinfo = texinfo7;
   texinfoInteractive = texinfo.override { interactive = true; };