From 58e145364c3605ff24d483b09dd1559461ea7832 Mon Sep 17 00:00:00 2001 From: kyehn Date: Wed, 3 Dec 2025 16:47:05 +0000 Subject: [PATCH] urdfdom-headers: 2.0.0 -> 2.0.1 Diff: https://github.com/ros/urdfdom_headers/compare/2.0.0...2.0.1 --- pkgs/by-name/ur/urdfdom-headers/package.nix | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/pkgs/by-name/ur/urdfdom-headers/package.nix b/pkgs/by-name/ur/urdfdom-headers/package.nix index 522c9fcc9044..20c19dda0f25 100644 --- a/pkgs/by-name/ur/urdfdom-headers/package.nix +++ b/pkgs/by-name/ur/urdfdom-headers/package.nix @@ -9,13 +9,13 @@ stdenv.mkDerivation (finalAttrs: { pname = "urdfdom-headers"; - version = "2.0.0"; + version = "2.0.1"; src = fetchFromGitHub { owner = "ros"; repo = "urdfdom_headers"; tag = finalAttrs.version; - hash = "sha256-K05pVi+s3x7trzQRPHLuxSMK5FRnmcPArkDsZ19BwWo="; + hash = "sha256-tBNoG5gH3haZETUlI4Pn1mg14T/sMil9n/iSzjJC+Rg="; }; patches = [