From f68a0d0fd7539d93c7454989f71fd1c824f3b46f Mon Sep 17 00:00:00 2001 From: Ben Wolsieffer Date: Sun, 18 Jun 2023 14:27:39 -0400 Subject: [PATCH] urdfdom: 3.1.0 -> 3.1.1 --- pkgs/development/libraries/urdfdom/default.nix | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/pkgs/development/libraries/urdfdom/default.nix b/pkgs/development/libraries/urdfdom/default.nix index a6661a72965..6e59914044f 100644 --- a/pkgs/development/libraries/urdfdom/default.nix +++ b/pkgs/development/libraries/urdfdom/default.nix @@ -3,13 +3,13 @@ stdenv.mkDerivation rec { pname = "urdfdom"; - version = "3.1.0"; + version = "3.1.1"; src = fetchFromGitHub { owner = "ros"; repo = pname; rev = version; - hash = "sha256-9MJnify4zcDBSZVJZCN/XupN5xax+U4PLee54gVVw3Q="; + hash = "sha256-UdkGJAXK3Q8QJaqMZBA5/FKUgWq9EVeqkqwVewTlTD8="; }; patches = [