gador/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

urdfdom-headers: 2.0.0 -> 2.0.1

Browse Source 
Diff: https://github.com/ros/urdfdom_headers/compare/2.0.0...2.0.1
This commit is contained in:
kyehn
2025-12-03 16:47:05 +00:00
parent 94e1899761
commit 58e145364c
1 changed files with 2 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files
pkgs/by-name/ur/urdfdom-headers/package.nix
+2 -2
View File
@@ -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 = [